JFLAP

JFLAP (англ. Java Formal Languages and Automata Package) — свободная кроссплатформенная программа для экспериментов с различными объектами, встречающихся в теории формальных языков. Разрабатывается Университетом Дьюка.

JFLAP
Тип	Образовательное программное обеспечение
Разработчики	Сьюзен Г. Роджер, Университет Дьюка
Написана на	Java
Операционная система	Кроссплатформенное программное обеспечение
Языки интерфейса	английский
Первый выпуск	1990
Аппаратная платформа	Java Virtual Machine
Последняя версия	7.1 (27 июля 2018 года)
Тестовая версия	8.0 (24 января 2015 года)
Репозиторий	www2.cs.duke.edu/csed/jf…
Лицензия	проприетарная
Сайт	jflap.org
Медиафайлы на Викискладе

Возможности

• Имитирует машину Тьюринга
  • в том числе многоленточную.
• Имитирует автомат Мили
• Имитирует автомат Мура
• Имитирует магазинный автомат
• Демонстрирует лемму о разрастании
  • для регулярных
  • и контекстно-свободных грамматик
• Схематично рисует НДКА, ДКА
• Умеет пошагово проводить
  • преобразование регулярного выражения в НДКА
  • детерминизацию НДКА
  • минимизацию ДКА

Литература

• Rodger, S.H. and Finley, T.W. JFLAP: An Interactive Formal Languages and Automata Package. — Jones and Bartlett, 2006. — 192 p. — ISBN 9780763738341.
• Mozgovoy, M. Algorithms, Languages, Automata, and Compilers: A Practical Approach. — Jones & Bartlett Learning, 2009. — 345 p. — ISBN 9780763782948.

Ссылки

• Официальная страница