Increasing the experimentation of theoretical computer science with new features in JFLAP

JFLAP is an educational software tool for experimenting with several types of automata, grammars and proofs related to the area of theoretical computer science. For example, one can create an NFA, convert it to a DFA, minimize the number of states in the DFA, convert it to a regular expression or convert it to a regular grammar. Once created, one can simulate test strings. JFLAP includes a large number of topics and proofs to experiment with from the regular languages, context-free languages, recursively enumerable languages and l-systems. This poster describes several new features in a redesign of JFLAP that includes a more flexible grammar representation, explicit formal definitions, basic set theory tools, and new algorithms.

Duke Scholars

Author Susan H. Rodger Computer Science