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 .

Ссылки

Для улучшения этой статьи желательно : Проставить сноски , внести более точные указания на источники. После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.