A collection of tools for making automata theory and formal languages come alive
Publication
, Journal Article
Bilska, AO; Leider, KH; Procopiuc, M; Procopiuc, O; Rodger, SH; Salemme, JR; Tsang, E
Published in: SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education
January 1, 1997
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; Pâté 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.
Duke Scholars
Published In
SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education
DOI
ISSN
0097-8418
Publication Date
January 1, 1997
Volume
29
Issue
1
Start / End Page
15 / 19
Related Subject Headings
- Education
Citation
APA
Chicago
ICMJE
MLA
NLM
Bilska, A. O., Leider, K. H., Procopiuc, M., Procopiuc, O., Rodger, S. H., Salemme, J. R., & Tsang, E. (1997). A collection of tools for making automata theory and formal languages come alive. SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education, 29(1), 15–19. https://doi.org/10.1145/268085.268089
Bilska, A. O., K. H. Leider, M. Procopiuc, O. Procopiuc, S. H. Rodger, J. R. Salemme, and E. Tsang. “A collection of tools for making automata theory and formal languages come alive.” SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education 29, no. 1 (January 1, 1997): 15–19. https://doi.org/10.1145/268085.268089.
Bilska AO, Leider KH, Procopiuc M, Procopiuc O, Rodger SH, Salemme JR, et al. A collection of tools for making automata theory and formal languages come alive. SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education. 1997 Jan 1;29(1):15–9.
Bilska, A. O., et al. “A collection of tools for making automata theory and formal languages come alive.” SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education, vol. 29, no. 1, Jan. 1997, pp. 15–19. Scopus, doi:10.1145/268085.268089.
Bilska AO, Leider KH, Procopiuc M, Procopiuc O, Rodger SH, Salemme JR, Tsang E. A collection of tools for making automata theory and formal languages come alive. SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education. 1997 Jan 1;29(1):15–19.
Published In
SIGCSE Bulletin Association for Computing Machinery Special Interest Group on Computer Science Education
DOI
ISSN
0097-8418
Publication Date
January 1, 1997
Volume
29
Issue
1
Start / End Page
15 / 19
Related Subject Headings
- Education