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

95Input: A, A, M, M, M, MAnswer: z 2 , z 2 , z 2 , z 2Input: A, A, T [!x 1 & !x 2 ]Answer: z 5Input: A, A, T [!x 1 & !x 2 ],T [!x 1 & !x 2 ], T [!x 1 & !x 2 ]Answer: z 5 , z 5 , z 5Input: A, A, T [!x 1 & !x 2 ],T [x 1 & !x 2 ], T [x 2 & !x 1 ]Answer: z 5 , z 5 , z 6 , z 5 , z 7Input: A, A, T [!x 1 & !x 2 ],T [x 1 & !x 2 ]Answer: z 5 , z 5 , z 6Input: A, A, T [!x 1 & !x 2 ],T [x 1 & !x 2 ], T [x 2 & !x 1 ], HAnswer: z 5 , z 5 , z 6 , z 5 , z 7 , z 1Input: A, A, T [!x 1 & !x 2 ],T [x 1 & !x 2 ], T [x 2 & !x 1 ], MAnswer: z 5 , z 5 , z 6 , z 5 , z 7 , z 2на единицу.Описывает обработку часами нажатия кнопки«M». При нажатии на эту кнопку число минутв текущем времени должно быть увеличенона единицу.Описывает обработку часами события«Сработал таймер» при условии, что текущеевремя не совпадает со временемсрабатывания будильника или со временемсрабатывания будильника, увеличенными наминуту. Текущее время должно бытьувеличено на минуту.Расширение предыдущего теста.Описывает обработку события «Сработалтаймер» при различных значениях входныхпеременных.Префикс предыдущего теста.Описывает обработку события «Сработалтаймер» при различных значениях входныхпеременных, а также обработку нажатиекнопки «H».Описывает обработку события «Сработалтаймер» при различных значениях входныхпеременных, а также обработку нажатиекнопки «M».