1
JFLAP je softvér na experimentovanie s témami formálnych jazykov vrátane nedeterministických konečných automatov, nedeterministických tlačných automatov, viacpásových Turingových strojov, niekoľkých typov gramatík, syntaktického analyzovania a L-systémov.Okrem ich konštrukčných a testovacích príkladov umožňuje JFLAP experimentovať s konštrukčnými dôkazmi z jednej formy do druhej, ako je napríklad konverzia NFA na DFA na DFA s minimálnym stavom na regulárny výraz alebo regulárnu gramatiku.
jflap