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