Методы построения конечных автоматов на основе ...

28 T – сработал таймер.Она также содержит две входные переменные: x 1 – верно ли, что время срабатывания будильника совпадает стекущим временем? x 2 – верно ли, что текущее время превышает времясрабатывания будильника ровно на одну минуту?Система имеет семь выходных воздействий: z 1 – увеличить на единицу число часов текущего времени; z 2 – увеличить на единицу число минут текущего времени; z 3 – увеличить на единицу число часов времени срабатываниябудильника; z 4 – увеличить на единицу число минут времени срабатываниябудильника; z 5 – прибавить минуту к текущему времени; z 6 – включить звонок будильника; z 7 – выключить звонок будильника.На рис. 5 приведен граф переходов автомата управления часами сбудильником из работы [22].H /z 1 M /z 2 H /z 3 M /z 4A / 2. Установка1. БудильниквременивыключенбудильникаH /z 1 M /z 2T /z 5T /z 5A /A /z 73. БудильниквключенT [x 1 ] /z 5 , z 6 T [x 2 ] /z 5 , z 7T [!x 1 &!x 2 ] /z 5Рис. 5. Граф переходов конечного автомата управления часами сбудильником