Описание модели в терминах конечных автоматов

Работу конечных автоматов контроллера нагревателя можно описать следующим образом:

Автомат имеет два состояния: включен (1) и выключен (2).

В начальный момент времени состояние – выключен.

Состояние выключен (1):

Состояние включен (2):

Схема, реализующая данный алгоритм, изображена на рисунке (Рисунок 1):

Рисунок 1. Схема работы конечного автомата