- JFLAP
-
JFLAP — кросплатформенная программа для экспериментов с различными объектами встречающихся при изучении формальных языков. Разрабатывается Университетом Дьюка под Creative Commons Attribution-NonCommercial-ShareAlike 2.5 License.Возможности
- Имитирует машину Тьюринга
- В том числе многоленточную.
- Имитирует автомат Мили
- Имитирует автомат Мура
- Имитирует магазинный автомат
- Демонстрирует лемму о разрастании
- для регулярных
- и контекстно-свободных грамматик.
- Красиво рисует НДКА, ДКА.
- Умеет пошагово проводить
- Преобразование в регулярное выражение в НДКА.
- Детерминизацию НДКА
- Минимизацию ДКА.
Ссылки
Категория:- Формальные языки
- Имитирует машину Тьюринга
Wikimedia Foundation. 2010.