JFLAP

JFLAP

JFLAP je softver za eksperimentiranje sa formalnim jezicima jezika, uključujući ne-administrirane konačne automate, ne-upravljačke automate za pushdown, Turingove strojeve s više traka ...
JFLAP je softver za eksperimentiranje s formalnim jezicima jezika, uključujući netermineričke konačne automate, nedeterminirane automatske sklopke, više stropne Turingove strojeve, nekoliko vrsta gramatika, raščlanjivanje i L-sustave.Osim što za njih konstruira i testira primjere, JFLAP omogućuje eksperimentiranje s dokazima o konstrukciji iz jednog oblika u drugi, kao što je pretvaranje NFA u DFA u minimalno stanje DFA u normalan izraz ili normalnu gramatiku.
jflap

Web stranica:

Alternativa JFLAPu za Linux s komercijalnom licencom