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

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 gramma...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rodger, Susan H., Bilska, Anna O., Leider, Kenneth H., Procopiuc, Magdalena, Procopiuc, Octavian, Salemme, Jason R., Tsang, Edwin
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Social and professional topics > Professional topics > Computing education > Model curricula Software and its engineering > Software notations and tools > Formal language definitions Theory of computation > Formal languages and automata theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0097-8418
DOI:	10.1145/268084.268089