Изменения

Грамматика неукорачивающая, если все правила имеют вид <tex>\alpha \to \beta</tex>, где <tex>|\alpha| \le |\beta|</tex>(возможно правило <tex>S -> \epsilon</tex>, но тогда S не встречается в правых частях правил).

Грамматика контекстно-зависимая, если все правила имеют вид <tex>\alpha A \beta \to \alpha \gamma \beta</tex>, где <tex>A</tex> - нетерминал, <tex>\alpha</tex> и <tex>\beta</tex> строки из нетерминалов, <tex>\gamma</tex> не пуста(возможно правило <tex>S -> \epsilon</tex>, но тогда S не встречается в правых частях правил).

<tex>X_1 X_2 \ldots X_n \to Z_1 Y_2 X_2 \ldots Y_mX_n</tex>

<tex>Z_1 X_2 \ldots X_n \to Z_1 Z_2 \ldots Y_mX_n</tex>