
1
JFLAP je software pro experimentování s tématy formálních jazyků včetně nedeterministických konečných automatů, nedeterministických tlačných automatů, vícepásových Turingových strojů, několika typů gramatik, syntaktické analýzy a L-systémů.Kromě konstrukčních a testovacích příkladů pro ně JFLAP umožňuje experimentovat s konstrukčními důkazy z jedné formy do druhé, jako je převod NFA na DFA na DFA s minimálním stavem na regulární výraz nebo pravidelnou gramatiku.