Изменения
Нет описания правки
Где <tex>A, B, C, D</tex> {{---}} нетерминалы, <tex>a</tex> {{---}} терминал.
}}
{{Определение
Пусть <tex>N' = N \cup \{a' : a \in T\}</tex>.
Пусть <tex>\alpha = x_1x_2...x_n</tex> {{---}} часть правила, тогда <tex>\alpha' = y_1y_2...y_n</tex>, где <tex>y_i = \left\{\begin{array}{llcl}x_i</tex>, если <tex>&;\ x_i \in N</tex>; <tex>\\x_i'</tex>, если <tex>&;\ x_i \in T\\\end{array}\right.</tex> для <tex>1 \leqslant i \leqslant n</tex>.
Построим грамматику <tex>G' = (N', T, P', S)</tex>, где <tex>P' = \{\alpha' \rightarrow \beta' : \alpha \rightarrow \beta \in P\} \cup \{a' \rightarrow a: a \in T\}</tex>.
