Условие задачи
Автомат управляет освещением в двух комнатах квартиры. Освещение включается в комнате, если в ней находится человек. В каждой комнате могут находиться по одному человеку.
Синтезировать структурный автомат.
Ответ
Вначале синтезируем абстрактный автомат.
Определим входной и выходной алфавиты абстрактного автомата. Обозначим действия следующим образом: