Каждая линейная грамматика является

Каждая линейная грамматика по отношению к линейной грамматике в нормальной форме

Каждая праволинейная грамматика является

Каждая контекстно-свободная грамматика по отношению к грамматике в нормальной форме Хомского является

Каждая неукорачивающая грамматика

Каждая грамматика порождает

Каждая контекстная грамматика

Каждая контекстно-свободная грамматика по отношению к некоторой контекстно-свободной грамматике специального вида

Грамматика в нормальной форме Грейбах является

Если постовская система соответствия имеет решение, то грамматика является

Алгоритм, позволяющий по произвольной контекстно-свободной грамматике узнать, является ли грамматика однозначной