Cтраница 4
![]() |
Граф Гс. [46] |
Обозначим символом At множество состояний, записанных в столбце ат t - тл подтаблицы переходов. [47]
Предположим, что множество хеджируемых состояний А известно. [48]
Если 5 обозначает множество состояний автомата § (, 5 - множество минимальных образов из 31, т - стационарное распределение на Э, то мы покажем, что функция сг, определенная формулой (6.18.1), совпадает со стационарным распределением на И. [49]
Здесь 01 - множество управляющих состояний, а0 - начальное - состояние, F - множество заключительных состояний, R - правила функционирования. [50]