Изменения

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

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