175
правок
Изменения
→Построение КС-грамматики по МП-автомату
Грамматика <tex> G </tex> имеет следующие продукции:
*a) продукции <tex> S \rightarrow [q_0,Z_0,p] </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_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>.
