JFLAP

JFLAP
Тип	Образовательное программное обеспечение
Разработчик	Сьюзен Г. Роджер, Университет Дьюка
Написана на	Java
Операционная система	Кроссплатформенное программное обеспечение
Языки интерфейса	английский
Последняя версия	7.1 (27 июля 2018 года)
Тестовая версия	8.0 (24 января 2015 года)
Сайт	jflap.org

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

Возможности

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

Литература

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

Ссылки

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