Автомат — набор состояний, которые автоматически устанавливаются в системе под влиянием внешних факторов.
Для автоматов характерны следующие параметры:
- событие включения автомата, которое запускает работу автомата;
- событие выключения автомата, при наступлении которого возможность работы автомата прекращается;
- условие включения/выключения автомата, которые инициализируют выполнение определенных действий.
Существует два типа автоматов: автомат, управляемый состоянием и полный автомат.
|
|
Автомат, управляемый состоянием
|
Полный автомат
|
|---|---|---|
|
События включения / выключения
|
Строго двоичны: есть только выполнение условия и прекращение выполнения этого же условия |
События автомата не всегда парные: события включения и выключения работы могут быть разными, не зависящими друг от друга |
|
Условия включения / выключения
|
Условия включения и выключения автомата также могут быть непарными |
|
|
Описание работы автомата
|
Все параметры автомата генерируются по одному условию включения. При выполнении условия происходит действие при включении автомата, при прекращении выполнения условия — действие при выключении автомата |
Работа автомата возможна только когда срабатывает событие включения. Работа автомата прекращается, когда наступает событие выключения. Пока работа автомата возможна, при выполнении условия включения автомата происходит действие при включении. При выполнении условия выключения автомата, происходит действие при выключении автомата |