Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Gramond:1999:UJI,
author = "Eric Gramond and Susan H. Rodger",
title = "Using {JFLAP} to Interact with Theorems in Automata
Theory",
journal = j-SIGCSE,
volume = "31",
number = "1",
pages = "336--340",
month = mar,
year = "1999",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/299649.299800;
https://doi.org/10.1145/384266.299800",
ISBN = "1-58113-085-6",
ISBN-13 = "978-1-58113-085-0",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:36 MST 2012",
bibsource = "DBLP;
http://dblp.uni-trier.de/db/conf/sigcse/sigcse1999.html#GramondR99;
http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
URL = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/DBLP/1999.bib;
ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/Pape.bib",
abstract = "An automata theory course can be taught in an
interactive, hands-on manner using a computer. At Duke
we have been using the software tool JFLAP to provide
interaction and feedback in CPS 140, our automata
theory course. JFLAP is a tool for designing and
running nondeterministic versions of finite automata,
pushdown automata, and Turing machines. Recently, we
have enhanced JFLAP to allow one to study the proofs of
several theorems that focus on conversions of
languages, from one form to another, such as converting
an NFA to a DFA and then to a minimum state DFA. In
addition, our enhancements combined with other tools
allow one to interactively study LL and LR parsing
methods.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- 1-58113-085-6,
0(0)0,
31(1)343
- 978-1-58113-085-0,
0(0)0,
31(1)343
- addition,
22(2)59,
24(1)225,
24(4)49,
25(4)41,
26(1)253,
26(1)309,
27(1)39,
27(1)53,
27(1)76,
27(1)141,
27(1)163,
27(1)191,
27(1)199,
28(1)107,
28(1)266,
28(1)353,
29(1)63,
29(1)82,
29(1)229,
29(3)21,
29(3)40,
30(1)6,
30(1)45,
30(1)190,
30(1)222,
30(1)317,
30(1)331,
30(1)378,
30(1)382,
30(3)134,
30(3)162,
31(1)92,
31(2)48,
31(4)35
- allow,
23(2)51,
23(3)36,
23(4)41,
23(4)51,
24(1)163,
24(1)192,
24(1)207,
24(1)286,
26(1)46,
26(1)160,
26(1)183,
26(1)193,
26(1)198,
26(3)45,
27(1)19,
27(1)39,
27(1)61,
27(1)66,
27(1)146,
27(1)278,
27(2)31,
27(4)51,
28(1)107,
28(1)112,
28(2)31,
28(2)40,
28(3)2,
29(1)77,
29(2)35,
29(3)31,
29(3)45,
30(1)1,
30(1)45,
30(1)53,
30(1)102,
30(1)145,
30(1)176,
30(1)267,
30(1)272,
30(1)277,
30(1)297,
30(1)341,
30(1)370,
30(3)86,
30(3)175,
30(3)199,
30(3)203,
30(3)232,
30(3)295,
30(3)310,
30(4)46,
31(1)68,
31(1)286,
31(1)301,
31(2)48,
31(2)65,
31(3)29,
31(3)99,
31(3)139,
31(3)151,
31(3)209
- another,
23(2)45,
24(2)59,
24(4)11,
26(1)349,
26(2)2,
27(1)278,
27(1)322,
27(4)27,
28(1)150,
28(1)155,
29(1)92,
29(1)126,
30(1)312,
30(1)382,
30(3)153,
31(1)12,
31(1)22,
31(1)232,
31(1)301,
31(2)37,
31(4)13,
31(4)39
- automata,
24(2)55,
25(4)13,
26(1)208,
29(1)15,
30(3)302,
31(1)105
- combined,
24(1)53,
26(1)80,
26(1)366,
26(2)31,
27(1)48,
29(1)48,
29(1)92,
30(1)237,
30(3)139,
30(3)311
- conversion,
29(2)17
- converting,
31(2)28
- designing,
24(1)76,
24(1)220,
24(1)299,
26(1)131,
26(2)5,
26(4)59,
27(3)7,
28(1)295,
28(1)319,
28(3)29,
28(4)3,
29(1)131,
29(1)238,
29(3)24,
29(3)71,
29(3)114,
29(3)143,
30(1)45,
30(1)198,
30(1)312,
30(1)370,
30(1)384,
30(3)213,
30(3)243,
30(3)275,
31(1)170,
31(1)179,
31(1)217,
31(1)306,
31(3)48,
31(3)135,
31(3)180,
31(4)13
- Duke,
27(1)1,
30(1)317,
31(1)247
- enhanced,
26(1)309,
27(1)238,
28(1)195,
29(1)15,
29(1)355,
29(3)111,
30(3)21
- enhancement,
26(1)46,
27(1)350,
28(1)266,
28(4)3,
29(1)15,
29(1)277,
30(1)171,
30(1)277
- feedback,
23(2)9,
24(1)53,
24(1)259,
25(3)58,
26(1)183,
26(1)208,
26(1)366,
26(4)5,
27(1)168,
27(1)218,
27(1)248,
28(1)73,
29(1)63,
29(1)131,
29(1)174,
29(2)2,
29(3)94,
30(1)126,
30(1)317,
30(1)345,
30(1)366,
30(2)31,
30(3)122,
30(3)139,
30(3)166,
30(3)171,
30(3)203,
30(3)257,
30(4)5,
31(1)3,
31(1)105,
31(1)114,
31(1)227,
31(2)81,
31(3)127,
31(3)151,
31(3)155
- finite,
25(4)13,
26(1)126,
26(1)208,
29(1)15,
31(1)105
- focus,
23(4)41,
24(1)15,
24(1)28,
24(1)81,
24(1)168,
24(1)230,
24(1)259,
24(1)309,
24(2)29,
25(2)29,
25(4)21,
26(1)111,
26(1)145,
27(1)6,
27(1)191,
27(1)199,
27(1)204,
27(2)25,
28(1)37,
28(1)242,
28(2)56,
28(3)23,
28(3)37,
29(1)10,
29(1)204,
29(1)229,
29(1)238,
29(1)320,
29(1)330,
29(1)365,
29(2)39,
29(3)11,
29(3)27,
29(3)65,
30(1)112,
30(1)145,
30(1)217,
30(1)252,
30(1)307,
30(1)382,
30(1)383,
30(2)64,
30(3)139,
30(4)18,
31(1)68,
31(1)170,
31(1)198,
31(2)86,
31(3)9,
31(3)52,
31(3)147,
31(3)179,
31(4)35,
31(4)87,
31(4)106
- form,
23(4)27,
24(1)19,
24(1)102,
24(1)286,
26(1)238,
26(1)300,
26(1)366,
27(1)19,
27(1)350,
27(2)41,
28(1)112,
28(1)195,
29(1)15,
29(1)20,
29(1)126,
29(1)229,
29(1)340,
29(1)345,
29(1)390,
29(3)6,
29(3)27,
29(3)71,
29(3)94,
29(3)111,
29(4)38,
29(4)54,
30(1)35,
30(1)117,
30(1)222,
30(1)297,
30(1)382,
30(1)383,
30(3)37,
30(3)51,
30(3)81,
30(3)98,
30(3)153,
30(3)162,
30(3)178,
30(3)206,
30(3)232,
30(3)254,
30(4)51,
31(2)17,
31(3)111,
31(3)135,
31(3)167,
31(3)180,
31(3)208,
31(4)87
- Gramond, Eric,
30(3)302
- hands-on,
22(1)94,
22(3)34,
23(2)29,
26(1)290,
27(2)2,
27(2)31,
28(1)53,
28(1)107,
28(1)373,
30(1)341,
31(1)68,
31(1)114,
31(1)119,
31(1)160,
31(3)187
- interact,
27(1)302,
29(1)39,
29(1)150,
29(1)272,
30(1)53,
31(1)73,
31(2)73
- interaction,
24(1)67,
24(1)72,
24(1)246,
24(4)15,
26(1)290,
26(1)309,
27(1)292,
28(2)56,
29(1)267,
29(1)272,
29(3)80,
29(3)133,
30(1)10,
30(1)48,
30(1)97,
30(1)198,
30(1)297,
30(1)312,
30(1)317,
30(1)341,
30(1)368,
30(1)382,
30(3)14,
30(3)37,
30(3)51,
30(3)153,
30(3)193,
31(3)17,
31(3)75,
31(3)111,
31(3)194,
31(3)210,
31(4)52
- JFLAP,
29(1)15,
30(3)302
- LL,
26(1)208
- LR,
26(1)208
- machine,
23(1)347,
23(2)29,
24(1)87,
24(1)286,
24(1)309,
24(2)35,
24(2)55,
24(3)51,
24(4)15,
24(4)27,
24(4)49,
25(1)189,
25(4)41,
26(1)126,
26(1)218,
26(3)45,
27(1)71,
27(1)131,
27(1)141,
27(1)146,
27(1)228,
27(1)233,
27(1)238,
27(1)340,
28(1)47,
28(3)9,
29(1)15,
29(1)30,
29(1)219,
29(1)296,
29(2)23,
29(3)42,
29(4)45,
30(1)145,
30(1)277,
30(3)175,
30(4)37,
31(1)105,
31(1)242,
31(2)84,
31(3)206,
31(3)208
- manner,
23(3)36,
24(1)76,
24(1)181,
24(1)192,
26(1)26,
27(1)19,
29(1)35,
29(1)63,
29(1)204,
29(3)91,
29(4)34,
30(1)30,
30(1)365,
31(1)87,
31(1)301,
31(3)167,
31(4)32
- minimum,
23(3)2,
24(1)181,
26(1)169,
27(1)61,
28(3)29,
30(1)161,
31(3)182,
31(3)187
- nondeterministic,
26(1)228
- on, hands-,
22(1)94,
23(2)29,
26(1)290,
27(2)2,
27(2)31,
28(1)53,
28(1)107,
28(1)373,
30(1)341,
31(1)68,
31(1)114,
31(1)119,
31(1)160,
31(3)187
- parsing,
23(1)240,
24(2)20,
25(3)26,
26(1)208,
26(1)339,
29(1)15,
29(1)253,
29(1)258,
30(1)232,
31(3)196
- proof,
27(1)307,
27(3)53,
29(1)258,
30(1)207,
30(3)232,
31(1)53,
31(1)110
- pushdown,
24(2)55,
29(1)15
- recently,
22(2)15,
22(3)21,
23(3)31,
24(1)57,
24(1)147,
26(1)141,
26(1)193,
27(1)340,
28(1)93,
28(3)51,
29(1)116,
29(2)23,
29(3)6,
30(1)277,
30(1)370,
30(3)102,
30(3)175,
31(1)95,
31(1)141,
31(1)345,
31(2)69,
31(3)88,
31(3)151
- Rodger, Susan H.,
26(1)208,
27(1)278,
28(1)373,
28(z)72,
29(1)15,
29(4)62,
30(1)267,
30(1)317,
30(3)302,
31(1)358
- running,
22(4)2,
23(3)17,
24(1)286,
24(1)309,
26(3)58,
27(1)233,
27(2)2,
27(2)7,
27(4)21,
28(3)9,
30(1)198,
30(3)185,
31(1)63,
31(1)184,
31(3)103
- several,
24(1)5,
24(1)53,
24(1)113,
24(1)197,
24(1)299,
24(3)35,
24(3)57,
24(4)27,
24(4)49,
25(1)78,
25(2)29,
25(4)9,
26(1)145,
26(1)198,
26(1)203,
26(1)263,
26(2)61,
26(3)8,
26(4)41,
26(4)51,
26(4)56,
27(1)1,
27(1)61,
27(1)71,
27(1)331,
27(1)350,
27(1)360,
27(2)18,
27(2)31,
27(3)39,
27(3)53,
27(4)13,
28(1)175,
28(1)319,
28(1)358,
28(1)373,
29(1)1,
29(1)6,
29(1)209,
29(1)243,
29(1)248,
29(1)282,
29(2)17,
29(3)6,
29(3)42,
29(3)100,
29(3)120,
30(1)87,
30(1)153,
30(1)176,
30(1)207,
30(1)312,
30(1)317,
30(1)331,
30(2)31,
30(3)41,
30(3)175,
30(3)185,
30(3)209,
30(3)219,
30(4)32,
31(1)17,
31(1)63,
31(1)92,
31(1)179,
31(1)232,
31(1)271,
31(1)345,
31(1)346,
31(1)367,
31(3)40,
31(3)99,
31(3)163,
31(3)175,
31(3)208,
31(4)13,
31(4)48
- state,
22(2)15,
24(1)113,
24(1)153,
24(1)168,
24(1)235,
24(1)240,
24(2)2,
24(2)35,
24(2)55,
24(3)53,
24(3)60,
25(3)52,
25(4)13,
26(1)80,
26(1)126,
26(4)45,
27(1)168,
27(1)292,
27(1)340,
27(1)350,
27(3)21,
27(3)53,
27(4)43,
28(1)378,
28(4)33,
29(1)39,
29(1)145,
30(1)25,
30(1)30,
30(1)145,
30(1)277,
30(1)307,
30(1)336,
30(1)378,
30(1)382,
30(4)32,
31(1)22,
31(1)27,
31(1)114,
31(1)194,
31(1)198,
31(1)346,
31(1)360,
31(2)73,
31(3)200,
31(3)201,
31(4)70
- taught,
22(1)216,
23(1)130,
23(4)23,
24(1)53,
24(1)81,
24(1)181,
24(1)246,
24(2)55,
24(3)24,
25(2)19,
25(4)13,
26(1)41,
26(1)51,
26(1)169,
26(1)329,
26(1)339,
26(2)31,
27(1)6,
27(1)39,
27(1)66,
27(1)149,
27(1)199,
27(1)268,
27(1)331,
27(4)9,
27(4)57,
27(4)60,
28(1)47,
28(1)78,
28(1)93,
28(1)378,
28(2)49,
28(3)51,
28(4)3,
28(4)25,
29(1)35,
29(1)131,
29(1)315,
29(2)31,
29(3)21,
29(4)34,
29(4)38,
30(1)63,
30(1)117,
30(1)166,
30(1)198,
30(1)217,
30(1)322,
30(1)365,
30(2)61,
30(3)37,
30(3)105,
30(3)139,
31(1)114,
31(1)170,
31(1)252,
31(1)281,
31(2)42,
31(2)81,
31(3)84,
31(3)103,
31(3)175,
31(3)211,
31(4)13,
31(4)39,
31(4)61,
31(4)79
- then,
22(3)21,
22(4)5,
23(1)130,
23(2)60,
23(3)36,
24(1)197,
24(1)207,
25(2)51,
26(1)111,
26(1)238,
26(1)281,
26(1)300,
26(2)9,
26(4)9,
27(1)248,
27(1)350,
27(2)25,
27(3)3,
27(4)51,
28(1)47,
28(1)217,
28(1)266,
28(2)3,
28(2)40,
28(3)2,
28(3)9,
29(1)39,
29(1)58,
29(1)219,
29(1)330,
29(2)7,
29(3)31,
30(1)6,
30(1)102,
30(1)166,
30(1)237,
30(1)287,
30(1)297,
30(1)302,
30(1)341,
30(1)365,
30(1)383,
30(2)28,
30(3)5,
30(3)37,
30(3)46,
30(3)55,
30(3)59,
30(3)90,
30(3)249,
30(3)260,
31(1)189,
31(1)343,
31(1)346,
31(2)28,
31(2)84,
31(3)5,
31(3)9,
31(3)99,
31(3)123,
31(3)155,
31(4)13
- theorem,
22(3)21,
23(1)130,
29(3)133,
30(3)302
- theory,
22(3)34,
22(4)5,
23(2)45,
23(3)20,
24(1)81,
24(1)147,
24(2)55,
24(3)51,
25(1)78,
25(1)256,
25(2)19,
25(4)13,
26(1)208,
26(1)290,
26(4)59,
27(1)146,
27(1)214,
27(1)350,
27(3)39,
28(1)107,
28(1)112,
28(1)117,
28(1)232,
28(3)29,
29(1)15,
29(1)44,
29(2)17,
29(3)111,
30(1)77,
30(1)166,
30(1)257,
30(1)331,
30(2)53,
30(2)61,
30(3)64,
30(3)105,
30(3)139,
30(3)228,
30(3)302,
31(1)43,
31(1)68,
31(1)105,
31(1)110,
31(1)119,
31(1)321,
31(3)17,
31(4)70
- Turing,
24(2)55,
24(3)51,
26(1)324,
26(2)5,
29(1)15,
29(2)23,
30(3)228,
31(1)105
- version,
22(4)2,
22(4)55,
23(3)2,
24(4)49,
26(1)46,
26(1)198,
26(1)253,
27(1)141,
27(1)191,
27(1)238,
27(1)350,
28(1)130,
28(3)60,
29(1)126,
29(1)306,
30(1)45,
30(1)242,
30(1)282,
30(3)94,
30(3)122,
31(1)48,
31(1)68