Изменения

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