Конечный автомат

Часто задаваемые вопросы

В чём разница между автоматом Мура и автоматом Мили?

В автомате Мура выходные сигналы определяются исключительно текущим состоянием. В данном симуляторе цвет сигнала светофора напрямую связан с состоянием (например, состояние 'Зелёный' всегда выдаёт зелёный свет). В автомате Мили выходы могут зависеть как от текущего состояния, так и от текущего входного сигнала. Это различие влияет на проектирование графа состояний и момент изменения выходных сигналов.

Почему этот автомат называется 'конечным'?

Автомат имеет конечное, счётное число различных состояний — в данном случае ровно три: Зелёный, Жёлтый и Красный. Он не может находиться в промежуточном или неопределённом условии; он всегда определённо находится в одном из этих предзаданных состояний. Эта конечность делает поведение автомата предсказуемым и легко анализируемым.

Как работает тактовый сигнал в автоматическом режиме?

Тактовый генератор создаёт регулярные периодические импульсы. При каждом импульсе (или 'такте') автомат проверяет свои правила переходов. Если правило для текущего состояния предписывает изменение по тактовому импульсу, он переходит в следующее состояние. Длительность горения каждого сигнала определяется тем, сколько тактовых циклов автомат должен оставаться в данном состоянии, прежде чем такт вызовет переход.

Является ли контроллер светофора реалистичным применением конечного автомата?

Безусловно. Простые светофоры с временным циклом — это классический реальный пример конечного автомата. Более продвинутые контроллеры, включающие датчики (например, для полос поворота или пешеходных переходов), также являются конечными автоматами, но с большим числом состояний и входов. Данный симулятор моделирует базовый временной цикл, который лежит в основе более сложных реализаций.