3622
правки
Изменения
м
Нет описания правки
Полагаем <tex>N_p = \{B_p \}</tex>, <tex>P_p = \{A \rightarrow CB_p, B_p \rightarrow DE\beta'\}</tex>, где <tex>A_p, B_p</tex> {{---}} дополнительные символы.
Тогда <tex>N' = N \bigcup_bigcup\limits_{p \in (P_2 \cup P_3)} N_p</tex>, <tex>P' = P_1 \bigcup_bigcup\limits_{p \in (P_2 \cup P_3)} P_p</tex>.
Из построения очевидно, что <tex>G'</tex> имеет порядок <tex>n - 1</tex>.
