Cтраница 4
Интерпретация применения правила qxz q a состоит в следующем: если автомат М находится в состоянии q, верхний символ магазина г, на входе сигнал х из X ( J ( 8) т автомат вместе со считыванием х может изменить состояние q на q, стереть г и записать в магазин слово со по одному символу в каждый квадрат ленты. [46]
Условие применения правила: существительное не должно быть субстантивированным. [47]
Интерпретация применения правила ( см. рис. 5.7): автомат в состоянии qi, читая входной символ а /, обозревая в верхней ячейке стека символ Z, воспринимает а / и заменяет Zk на последовательность ут в верхней ячейке стека. Если а / - пустая последовательность е, то чтение входного символа не осуществляется. [48]