175
правок
Изменения
→Пример
*b) <tex> \delta(q,\epsilon,E)={(q,I), (q,E+E), (q,E*E), (q,(E))};</tex>
*c) <tex> \delta(q,a,a)=\{(q,\epsilon)\}</tex>; <tex> \delta(q,b,b)=\{(q,\epsilon)\}</tex>;...<tex> \delta(q,*,*)=\{(q,\epsilon)\}</tex>; если входной символ совпадает с вершиной стека, то вершина удаляется.
Пункты '''a,b ''' образованы по первому правилу построения функции переходов, пункт '''c ''' по второму правилу.
==== Корректность построения ====
Пусть <tex> w\in L(G)</tex>, тогда <tex> w </tex> имеет следующее левое порождение:
