Visual Automata Simulator

Инструмент для моделирования, визуализации и трансформации конечный автоматы и машины Тьюринга.

• Создает, имитирует и преобразует машины DFA и NFA
• Создает и имитирует TM
• Пакетные тесты для ТМ: полезные функции, чтобы проверить кучу файлов быстро
• Удобный в использовании графический интерфейс (мульти-документы)
• Умные ссылки между объектами
• Машины могут быть сделаны с помощью мыши - и изменен в любое время
• Несколько машин могут быть созданы в одном документе
• Несколько документов могут быть открыты в то же время
• Документы могут быть сохранены и перезагрузка с диска
< LI> Режим отладки, чтобы увидеть, как именно машина работает (каждый шаг имеет свой цвет)
• MacOS X интерфейс, совместимый

Что новый В этом выпуске:

• FA и ТМ машина может быть экспортированы в EPS файл
• встроенным менеджера обновлений
• предпочтения: можно указать символ, используемый для определения эпсилон переход
• Исправлена ​​ошибка, когда эпсилон переход не считались при запуске непосредственно из состояния, а не за не-эпсилон перехода

Требования

Mac OS X с Java 1.4