Определение автомата
Правила задаются в текстовом формате:
состояние,вход -> следующее_состояние,выход
Пример:
s0,0 -> s0,0
s0,1 -> s1,0
s1,0 -> s0,1
s1,1 -> s1,0
Взаимодействие с графом
- Двойной щелчок на пустом месте: добавить вершину
- Двойной щелчок на вершине: удалить вершину
- Клик на вершину (выбор): отметить как исходную
- Клик на другую вершину: создать переход
- Перетаскивание вершины: изменить позицию
Симуляция
- Введите правила и нажмите Применить
- Укажите начальное состояние и входную последовательность
- Нажмите Старт для непрерывного выполнения
- Или используйте Шаг для пошагового режима
Файлы
- Экспорт: сохраняет текущие правила в файл
- Импорт: загружает правила из файла