Алгоритм, позволяющий по контекстно-свободной грамматике узнать, бесконечен ли язык
Каждая контекстно-свободная грамматика по отношению к некоторой контекстно-свободной грамматике специального вида
По произвольной контекстно-свободной грамматике
Определить однозначность грамматики по произвольной контекстно-свободной грамматике
Эквивалентной по отношению к некоторой контекстно-свободной грамматике специального вида является
Каждая контекстно-свободная грамматика по отношению к грамматике в нормальной форме Хомского является
НПротокол левостороннего вывода в контекстно-свободной грамматике является описанием соответствующего дерева вывода
Протокол вывода в контекстно-свободной грамматике - это
В контекстно-свободной грамматике левосторонний вывод существует
Множества, определяющие, что в контекстно-свободной грамматике нет бесполезных символов