Finite State Automata (FSAM)

FSAM — это симулятор конечного автомата для мобильных устройств, вдохновленный JFLAP. В настоящее время он поддерживает конечные автоматы, автоматы с понижением и машины Тьюринга.

Симулятор предлагает следующие инструменты и функции.
Общий:
- Увеличение камеры
- Перемещение камеры
- Перефокусировка камеры
Особенности конфигурации FSA:
- Инструмент перемещения состояния
- Настройка инструмента состояния
- Создать инструмент состояния
- Создать инструмент перехода
- Инструмент удаления
Возможности файлового ввода-вывода:
- Сохранить как ФСАМ
- Загрузить как FSAM
- Сохранить как JFF
- Загрузить как JFF
Функции моделирования:
- Шаг за состоянием и шаг с закрытием
- Шаг
- Отслеживание истории состояния
- Заморозить/разморозить состояние моделирования
- Удалить состояние моделирования
- Быстрый запуск / Массовое тестирование
Особенности конвертации:
– Свернуть DFA
- Конвертировать NFA в DFA