1
JFLAP ist eine Software zum Experimentieren mit formalen Sprachthemen, darunter nicht deterministische endliche Automaten, nicht deterministische Pushdown-Automaten, Multi-Tape-Turing-Maschinen, verschiedene Arten von Grammatiken, Parsing und L-Systeme.Zusätzlich zum Erstellen und Testen von Beispielen für diese ermöglicht JFLAP das Experimentieren mit Konstruktionsnachweisen von einer Form in eine andere, z. B. das Konvertieren einer NFA in eine DFA in einen Minimalstatus-DFA in einen regulären Ausdruck oder eine reguläre Grammatik.