Automata Editor 2.0 — векторный редактор для рисования конечных автоматов

 

Бесплатный векторный редактор для рисования конечных автоматов в формате VauCanSon-G (пакет LaTeX).Редактор поддерживает экспорт в несколько векторных форматов, например, EPS, VauCanSon-G, GraphML. Затем реализует базовые операции над конечными автоматами, включая моделирование DFA/NFA, базовые алгоритмы (детерминизацию, минимизацию и т.д.) и экспорт таблицы переходов.

Сайт: sourceforge.net/projects/automataeditor/
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows XP – 11
Скачать: Automata Editor 2.0