Определения Достижимый нетерминал Производящий нетерминал Приведенная грамматика Теоремы Теорема. Существование эквивалентной приведенной грамматики для любой контекстно-свободной грамматики (содержит алгоритм)
