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

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

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