Изменения

Где нетерминалы <tex>$Z_{*}$</tex> свои для каждого правила из <tex>\Gamma_1</tex>

В словах языка задаваемого грамматикой не может быть нетерминалов, поэтому если в процессе вывода будет применено правило <tex>$X_1 X_2 \ldots X_n \to Z_1 Y_2 \ldots Y_m$</tex>, то в последствии должны быть применены все остальные правила. В противном случае нетерминал <tex>$Z_1$</tex> или <tex>$Z_n$</tex> не исчезнут из слова.

Получившаяся грамматика <tex>\Gamma_2</tex> является эквивалентной грамматике <tex>\Gamma_1</tex>, так в результате применения правил строка <tex>$X_1 X_2 \ldots X_n$</tex> перейдёт в строку <tex>$Y_1 Y_2 \ldots Y_m$</tex>. Каждый набор правил либо будет применён полностьполностью, либо не будет применён полностью