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


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.

Duke Authors

Cited Authors

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

Published Date

  • March 1, 1997

Published In

Volume / Issue

  • 29 / 1

Start / End Page

  • 15 - 19

International Standard Serial Number (ISSN)

  • 0097-8418

Citation Source

  • Scopus