175
правок
Изменения
→Построение КС-грамматики по МП-автомату
*2 Все символы вида <tex> [pXq]</tex>, где <tex> p </tex> и <tex> q </tex> — состояния из <tex> Q </tex>, а <tex> X </tex> — магазинный символ из <tex> \Gamma </tex>.
Грамматика <tex> G </tex> имеет следующие продукции:
*a) продукции <tex> S \rightarrow [q_0,Z_0,pq_0Z_0p] </tex> для всех <tex> p </tex>, таким образом <tex> (q,w,Z_0)\vdash^* (q,\epsilon,\epsilon)</tex>*b) пусть <tex> \delta(q,a,X) </tex> содержит <tex> (r,Y_1,Y_2,Y_1Y_2...,Y_k)</tex>. Тогда для всех списков состояний <tex> r_1,r_2,...,r_k</tex> в грамматике <tex> G </tex> есть продукция <tex> [qXr_k]\rightarrow a[r Y_1 r_1][r_1 Y_1 r_2]...[r_{k-1} Y_k r_k]</tex>.
==== Пример ====
Пусть у нас имеется <tex> P=({q},{i,e},{Z},\delta,q,Z)</tex>, функция <tex> \delta </tex> задана следующим образом:
