JFLAP — програма для експериментів з різними об'єктами що зустрічаються під час вивчення формальних мов. Кросплатформенна (java). Розробляється Університетом Дюка під Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License.
Можливості Моделює машину Тьюрінга В тому числі багатострічкову. Моделює автомат Мілі Моделює автомат Мура Моделює магазинний автомат Демонструє лему про накачку для регулярних та контекстно-вільних мов. Красиво малює НДСкА, ДСкА. Вміє покроково проводити Перетворення з регулярного виразу в НДСкА. Детермінізацію НДСкА Мінімізацію ДСкА.
Посилання Офіційна сторінка