Skip to main content

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