23
правки
Изменения
Нет описания правки
добавим в <tex>\Gamma_2</tex> следующий набор правил:
<tex>X_1 X_2 X_3 \ldots X_n \to Z_1 X_2 X_3 \ldots X_n</tex>
<tex>Z_1 X_2 X_3 \ldots X_n \to Z_1 Z_2 X_3 \ldots X_n</tex> <tex>Z_1 Z_2 X_3 \ldots X_n \to Z_1 Z_2 Z_3 \ldots X_n</tex>
<tex>\ldots</tex>
<tex>Z_1 Z_2 \ldots Z_{n-1} X_n \to Z_1 Z_2 \ldots Z_{n-1} Z_n</tex>
<tex>Z_1 Z_2 Z_3 \ldots Z_n \to Y_1 Z_2 Z_3 \ldots Z_n</tex> <tex>Y_1 Z_2 Z_3 \ldots Z_n \to Y_1 Y_2 Z_3 \ldots Z_n</tex> <tex>Y_1 Y_2 Z_3 \ldots Z_n \to Y_1 Y_2 Y_3 \ldots Z_n</tex>
<tex>\ldots</tex>
<tex>Y_1 Y_2 Y_3 \ldots Y_{n-1} Z_n \to Y_1 Y_2 Y_3 \ldots Y_{n-1} Y_n \ldots Y_m</tex>
Где нетерминалы <tex>Z_{*}</tex> свои для каждого правила из <tex>\Gamma_1</tex>
