Изменения

Таким образом, для любой неукорачивающей грамматики можно построить эквивалентную ей контекстно-зависимую, а любая контекстно-зависимая грамматика является неукорачивающей. Значит, множества эти грамматики задают один и тот же класс языков, задаваемых этими видами грамматик, совпадают.