Cтраница 4
Точно так же на основании информации 6 виде активной части S должно распознаваться, достигнуто заключительное состояние или нет. Проще всего, что очевидным образом не нарушит общности, использовать для этого начальный элемент: мы примем, что к типам То и Т1 может относиться только начальный элемент, причем переход начального элемента от типа Т0 к типу Тг означает получение заключительного состояния. [46]
В, которые переводят заданный конечный автомат su из начального состояния в одно из его заключительных состояний. Из [9] вытекает следующая лемма. [47]
Множество всех слов в алфавите магазинных символов, образующихся в магазине после остановки МП-автомата в заключительных состояниях, образует регулярный язык. [48]
Если функционирование этой системы из двух автоматов прекращается в момент, когда автомат А попадает в заключительное состояние, будем говорить, что автомат А применим к автомату В. В остальных случаях будем считать, что А неприменим к В. [49]
Первый и последний шаги осуществляются ввиду специ альных правил ( с) для исходного состояния и заключительного состояния. Как и раньше, А пишем в точности тогда, когда никакой другой символ не предшествует символу состояния. [50]