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 ...

Besplatna
Windows
Mac
Linux

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