Определения
Теоремы/Утверждения/Следствия
- Не всякий цикл в контекстно-свободной грамматике является циклическим выводом.
- Утверждение. В эпсилон-свободной грамматике любой любой цикл является циклическим выводом
- Теорема. Об удалении цикла в эпсилон-свободной грамматике
- Следствие. О существовании ацикличной грамматики для данной контекстно-свободной грамматики