1
JFLAP е софтуер за експериментиране с теми на официални езици, включително недетерминирани ограничени автомати, недетерминирани автомати за натискане, многолентови машини на Тюринг, няколко типа граматики, разбор и L-системи.В допълнение към конструирането и тестване на примери за тях, JFLAP позволява да се експериментира с доказателства за изграждане от една форма в друга, като например конвертиране на NFA в DFA в минимално състояние DFA в обикновен израз или редовна граматика.