JFLAP for Mac

description

download

specifications

changelog

JFLAP is a free and easy to use software for experimenting with formal languages topics including nondeterministic finite automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems.

In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar.

NOTE: JFLAP is licensed and distributed under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License.