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… |
| Лицензия | проприетарная[1] |
| Сайт | 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.