JFLAP

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.

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

Это заготовка статьи о программном обеспечении. Помогите Википедии, дополнив её.

В статье есть список источников, но не хватает сносок.

Без сносок сложно определить, из какого источника взято каждое отдельное утверждение. Вы можете улучшить статью, проставив сноски на источники, подтверждающие информацию. Сведения без сносок могут быть удалены.(20 сентября 2014)