ПР200 на четырёхзначной логике

[Geenerator]

Боже! Человек открыл для себя Машину Состояний!

Мне просто понравилось, что я нашёл язык, на котором можно донести свои мысли

Текст из статьи
Есть события, которые описывают конкретное состояние. Затем при наступлении условий перехода, система переходит из одного состояния в другое.

Самое важное в этом примере — обработчики действий, где мы пишем большую часть логики, так как здесь описывается реакция системы на входные данные и на изменённые состояния.

Я чётко вижу преимущества наличия в проекте строго определённых состояний и переходов между ними. Мне, в ходе работы, всегда хочется сделать мои конфигурации как можно более простыми, а их код — как можно более понятным. Я уверен, что машины состояний — это шаг в правильном направлении. Её практическое использование вполне способно устранить множество ошибок, характерных для других подходов к разработке.

Если вернуться к примеру Закрытия/Открытия ворот.
Выделены состояния системы, определены условия перехода между состояниями.
Допустим есть несколько ворот, которые работают параллельно, в этом случае я могу использовать состояние первых ворот, для определения логики работы вторых ворот.

Другими словами, я предложил выделить четыре базовых состояния системы 00, 01, 10, 11 (0, 1, 2, 3). Определить условия перехода между состояниями и реакцию на входные события.