Изменения

Первый класс представлен '''неукорачивающими''' и '''контекстно-зависимыми''' грамматиками.

{{Определение

|definition =

'''Неукорачивающие грамматики''' — это те формальные грамматики, всякое правило из <tex>P</tex> которых имеет вид <tex>\alpha\rightarrow\beta</tex>, где <tex>\alpha , \beta \in \{\Sigma\cup N\}^{+}</tex> и <tex>|\alpha|\leq|\beta|</tex> (возможно правило <tex>$S$ \to \varepsilon</tex>, но тогда <tex>$S$</tex> не встречается в правых частях правил).}}