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

29Начальным состоянием этого автомата является состояние«1. Будильник выключен». На приведенном графе переходов каждыйпереход t помечен событием e, логической формулой f относительновходных переменных (она выражает условие перехода и приведена вквадратных скобках) и последовательностью o выходных воздействий(приведена после косой черты). Переход t выполняется в случаепоступления события e, если при подстановке значений входныхпеременных в формулу f ее значение есть «истина». При выполнении этогоперехода генерируются выходные воздействия, составляющиепоследовательность o, а автомат переходит в состояние, в которое ведетпереход t.От графа переходов автомата обычно требуют выполнения двухсвойств – полноты и непротиворечивости. Полнота означает, что в каждомсостоянии для любого события и любой комбинации значений входныхпеременных задан хотя бы один переход. Непротиворечивость означает,нет двух переходов из одного состояния, которые бы выполнялись приодном и том же событии и одном и том же наборе значений входныхпеременных.Отметим, что приведенный на рис. 5 автомат обладает свойствомполноты, но не обладает свойством непротиворечивости, так как всостоянии «3. Будильник включен» при поступлении события T иодновременной истинности входных переменных x 1 и x 2 задано дваперехода.Если этот граф переходов исправить, как показано на рис. 6, тополучится автомат, обладающий свойством непротиворечивости, но необладающий свойством полноты, так как в этом случае не задано ниодного перехода из состояния «3. Будильник включен» при поступлениисобытия T и одновременной истинности входных переменных x 1 и x 2 .