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

92режимах. Тесты, описывающие поведение часов с будильником в режимеработы «Будильник выключен», приведены в табл. 2. В этой таблице, есливо входной последовательности для некоторого события не указаноусловие перехода, считается, что условием является тождественноистинная формула.Таблица 2. Тесты для режима работы «Будильник выключен»ТестInput: T, T, T, TAnswer: z 5 , z 5 , z 5 , z 5Input: H, H, H, HAnswer: z 1 , z 1 , z 1 , z 1Input: M, M, M, MAnswer: z 2 , z 2 , z 2 , z 2Input: T, M, H, T, T, T, M,T, H, H, T, MAnswer: z 5 , z 2 , z 1 , z 5 , z 5 , z 5 ,КомментарийОписывает обработку часами события«Сработал таймер». При возникновении этогособытия текущее время должно бытьувеличено на минуту.Описывает обработку часами нажатия кнопки«H». При нажатии на эту кнопку число часовв текущем времени должно быть увеличенона единицу.Описывает обработку часами нажатия кнопки«M». При нажатии на эту кнопку число минутв текущем времени должно быть увеличенона единицу.Описывает обработку событий H, M и T врежиме «Будильник выключен».z 2 , z 5 , z 1 , z 1 , z 5 , z 2Input: A, A, A, T, T, T, T После трех нажатий кнопки «A» часы должныAnswer: z 7 , z 5 , z 5 , z 5 , z 5 находиться в режиме «Будильник выключен».Input: A, A, A, H, H, H, H После трех нажатий кнопки «A» часы должныAnswer: z 7 , z 1 , z 1 , z 1 , z 1 находиться в режиме «Будильник выключен».Input: A, A, A, M, M, M, M После трех нажатий кнопки «A» часы должны