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{Rodger:1997:CTM,
author = "Susan H. Rodger and Anna O. Bilska and Kenneth H.
Leider and Magdalena Procopiuc and Octavian Procopiuc
and Jason R. Salemme and Edwin Tsang",
title = "A collection of tools for making automata theory and
formal languages come alive",
journal = j-SIGCSE,
volume = "29",
number = "1",
pages = "15--19",
month = mar,
year = "1997",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/268085.268089",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:38 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "We present a collection of new and enhanced tools for
experimenting with concepts in formal languages and
automata theory. New tools, written in Java, include
JFLAP for creating and simulating finite automata,
pushdown automata and Turing machines; {Paat}{\'e} for
parsing restricted and unrestricted grammars and
transforming context-free grammars to Chomsky Normal
Form; and PumpLemma for proving specific languages are
not regular. Enhancements to previous tools LLparse and
LRparse, instructional tools for parsing LL(1) and
LR(1) grammars, include parsing LL(2) grammars,
displaying parse trees, and parsing any context-free
grammar with conflict resolution.",
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
- alive,
24(4)1,
24(4)11,
30(1)272,
30(1)302
- any,
23(3)20,
24(1)102,
24(1)163,
24(1)309,
24(2)35,
24(4)49,
26(1)131,
26(1)150,
26(1)169,
26(1)258,
26(2)52,
26(3)56,
27(1)66,
27(1)76,
27(1)340,
28(1)195,
28(1)348,
29(1)58,
29(1)82,
29(1)101,
29(1)189,
29(1)267,
29(2)17,
29(2)54,
29(3)1,
29(3)77,
29(3)133,
30(1)53,
30(1)145,
30(1)267,
30(1)312,
30(1)365,
30(2)53,
30(3)28,
30(3)51,
30(3)69,
30(3)264,
30(4)59,
31(1)87,
31(2)60,
31(2)65,
31(2)69,
31(3)21,
31(3)60,
31(3)131,
31(3)167,
31(3)180,
31(3)189
- automata,
24(2)55,
25(4)13,
26(1)208,
30(3)302,
31(1)105,
31(1)336
- collection,
24(1)255,
27(2)49,
27(3)50,
28(3)29,
29(1)53,
29(1)72,
30(1)6,
30(1)112,
30(3)206,
31(1)78,
31(1)271,
31(3)21
- come,
22(4)37,
23(2)9,
23(2)51,
23(3)36,
24(4)11,
24(4)49,
25(1)297,
26(1)51,
26(1)169,
28(1)195,
29(1)320,
29(2)7,
29(2)17,
30(1)145,
30(1)361,
30(2)22,
31(1)179,
31(2)73
- conflict,
29(1)310,
29(3)114,
31(2)73
- context-free,
27(1)345,
29(1)258
- creating,
22(2)42,
24(1)230,
24(1)259,
24(1)299,
25(1)290,
26(1)198,
26(1)376,
27(1)44,
27(1)199,
27(1)394,
28(1)145,
28(1)160,
28(3)9,
28(z)78,
29(1)287,
29(1)384,
29(3)40,
29(3)120,
30(1)87,
30(1)267,
30(3)69,
31(1)7,
31(3)147,
31(4)19
- displaying,
30(1)267
- enhanced,
26(1)309,
27(1)238,
28(1)195,
29(1)355,
29(3)111,
30(3)21,
31(1)336
- enhancement,
26(1)46,
27(1)350,
28(1)266,
28(4)3,
29(1)277,
30(1)171,
30(1)277,
31(1)336
- experimenting,
27(1)228,
30(1)227,
30(4)51
- finite,
25(4)13,
26(1)126,
26(1)208,
31(1)105,
31(1)336
- 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)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(1)336,
31(2)17,
31(3)111,
31(3)135,
31(3)167,
31(3)180,
31(3)208,
31(4)87
- formal,
22(4)37,
23(1)162,
23(3)11,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
27(3)60,
28(1)150,
28(1)155,
28(1)160,
28(1)266,
28(1)271,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- free, context-,
27(1)345,
29(1)258
- grammar,
24(1)207,
25(3)26,
26(1)208,
27(1)345,
29(1)258,
29(3)74
- include,
22(2)52,
22(4)49,
23(2)51,
23(4)27,
24(1)87,
24(1)138,
24(1)168,
24(1)286,
25(4)5,
25(4)21,
26(1)102,
26(1)203,
26(1)238,
26(1)300,
26(3)29,
26(3)45,
26(3)51,
26(4)5,
27(1)24,
27(1)39,
27(1)53,
27(1)102,
27(1)163,
27(1)214,
27(1)218,
27(1)273,
27(3)53,
27(3)60,
28(1)4,
28(1)93,
28(1)160,
28(1)266,
28(4)15,
29(1)39,
29(1)101,
29(1)116,
29(1)340,
29(3)100,
29(3)103,
29(3)120,
29(4)45,
30(1)1,
30(1)145,
30(1)161,
30(1)242,
30(1)317,
30(1)366,
30(3)51,
30(3)162,
30(3)175,
30(3)178,
30(3)185,
30(3)209,
30(4)5,
31(1)3,
31(1)17,
31(1)53,
31(1)189,
31(1)252,
31(1)286,
31(1)296,
31(2)17,
31(3)91,
31(3)139,
31(3)155,
31(3)200,
31(4)13,
31(4)70,
31(4)101
- instructional,
22(2)55,
23(3)17,
24(1)113,
24(3)24,
26(1)76,
26(1)160,
26(1)208,
26(4)59,
27(1)48,
27(1)331,
28(1)73,
29(1)1,
29(3)8,
29(3)40,
29(3)120,
29(3)143,
30(1)272,
30(3)21,
30(3)32,
30(3)69,
30(3)148,
30(3)275,
30(3)284,
30(4)19,
31(1)114,
31(1)155,
31(1)232,
31(1)276,
31(1)291,
31(1)346,
31(3)88,
31(3)95,
31(3)131,
31(3)187,
31(3)201,
31(3)203
- JFLAP,
30(3)302,
31(1)336
- LL1,
26(1)208,
30(1)232,
30(3)199
- LLparse,
26(1)208
- LR1,
26(1)208
- LRparse,
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)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(1)336,
31(2)84,
31(3)206,
31(3)208
- making,
23(1)199,
23(3)31,
24(1)309,
24(4)11,
24(4)52,
25(3)45,
26(2)19,
26(2)41,
26(2)52,
26(4)51,
28(1)78,
28(1)160,
28(2)49,
28(3)5,
29(1)77,
29(1)306,
29(3)59,
30(1)1,
30(1)153,
30(1)297,
30(2)64,
30(3)125,
30(3)310,
31(3)5,
31(3)123,
31(3)155,
31(3)180,
31(3)190,
31(4)35
- normal,
24(1)19,
27(1)186,
27(3)34,
28(1)112,
30(1)35,
30(1)102
- parse,
26(1)208,
30(1)232
- parsing,
23(1)240,
24(2)20,
25(3)26,
26(1)208,
26(1)339,
29(1)253,
29(1)258,
30(1)232,
31(1)336,
31(3)196
- previous,
24(1)147,
25(3)26,
26(1)46,
26(1)253,
26(1)349,
26(4)17,
28(3)60,
29(3)127,
30(1)68,
30(1)312,
30(3)125,
31(3)5,
31(3)95,
31(4)13
- proving,
29(3)91
- pushdown,
24(2)55,
31(1)336
- regular,
25(2)29,
25(4)13,
28(3)2,
29(1)25,
29(1)145,
30(3)69
- resolution,
24(1)207,
24(1)304,
31(1)27
- restricted,
24(2)59,
28(3)51,
29(1)145,
29(3)100,
31(1)247,
31(3)21
- Rodger, Susan H.,
26(1)208,
27(1)278,
28(1)373,
28(z)72,
29(4)62,
30(1)267,
30(1)317,
30(3)302,
31(1)336,
31(1)358
- simulating,
24(4)15,
25(2)38,
27(1)19,
28(3)9,
29(1)310,
30(4)51,
31(1)105
- specific,
23(2)21,
23(2)33,
23(4)7,
24(1)57,
24(1)197,
24(1)220,
24(3)1,
24(3)14,
25(2)59,
25(4)38,
26(1)71,
26(1)131,
26(1)258,
26(2)9,
27(1)218,
27(1)317,
27(1)350,
27(1)355,
27(4)60,
28(1)150,
28(1)237,
28(4)8,
29(1)10,
29(1)101,
29(1)106,
29(1)204,
29(1)224,
29(1)310,
29(1)371,
30(1)365,
30(3)74,
30(3)239,
30(4)61,
31(1)17,
31(1)87,
31(3)186
- 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)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(1)336,
31(3)17,
31(4)70
- tree,
22(3)7,
23(3)10,
23(4)7,
27(1)61,
27(1)66,
27(3)3,
28(1)185,
28(3)29,
28(4)36,
29(1)72,
29(1)159,
29(1)233,
30(1)185,
30(1)232,
30(1)267,
30(1)336,
31(3)197
- Turing,
24(2)55,
24(3)51,
26(1)324,
26(2)5,
29(2)23,
30(3)228,
31(1)105,
31(1)336
- unrestricted,
31(1)155,
31(1)165
- written,
22(3)25,
23(3)7,
23(4)51,
24(4)49,
25(1)283,
26(1)66,
26(1)253,
26(1)339,
27(1)1,
27(1)199,
27(1)233,
27(1)340,
27(2)31,
27(2)44,
28(1)204,
28(2)25,
28(3)9,
29(1)238,
29(1)267,
29(1)330,
29(1)340,
29(1)390,
29(3)1,
29(3)31,
29(3)62,
30(1)247,
30(1)267,
30(1)383,
30(2)31,
30(3)94,
30(3)178,
30(3)185,
31(1)227,
31(1)261,
31(1)311,
31(2)28,
31(2)48,
31(2)62,
31(2)84,
31(3)25,
31(3)103,
31(3)186,
31(3)196,
31(3)211