A collection of tools for making automata theory and formal languages come alive

Journal Article (Journal Article)

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.

Full Text

Duke Authors

Cited Authors

  • Bilska, AO; Leider, KH; Procopiuc, M; Procopiuc, O; Rodger, SH; Salemme, JR; Tsang, E

Published Date

  • January 1, 1997

Published In

Volume / Issue

  • 29 / 1

Start / End Page

  • 15 - 19

International Standard Serial Number (ISSN)

  • 0097-8418

Digital Object Identifier (DOI)

  • 10.1145/268085.268089

Citation Source

  • Scopus