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

27Рис. 4. Внешний вид часов с будильникомЕсли будильник выключен, то кнопки «H» и «M» предназначены,соответственно, для увеличения на единицу числа часов и минут втекущем времени. Кнопка «A» в этом режиме служит для перехода врежим настройки времени срабатывания будильника. В этом режимекнопки «H» и «M» позволяют увеличивать на единицу число часов иминут во времени срабатывания будильника. Нажатие кнопки «A» в этомрежиме приводит к включению будильника. Он срабатывает, как тольковремя срабатывания совпадает с текущим временем. Звонок автоматическивыключается через минуту или может быть выключен нажатием кнопки«A», которая также выключает будильник. Кроме кнопок часы содержаттаймер, который срабатывает каждую минуту – при каждом егосрабатывании текущее время увеличивается на одну минуту.Отметим, что рассматриваемые часы являются системой со сложнымповедением, так как в ответ на одни и те же входные события (нажатиякнопок) в зависимости от режима работы генерируются различныевыходные воздействия.Эта система имеет четыре события: H – нажата кнопка «H» на корпусе часов; M – нажата кнопка «M» на корпусе часов; A – нажата кнопка «A» на корпусе часов;