Определения
Теоремы/факты/алгоритмы
- Лемма. Об эквивалентности контекстно свободной грамматики эпсилон-свободной ацикличной грамматике с ограничениями на вид правил 1
- Лемма. Об эквивалентности контекстно свободной грамматики эпсилон-свободной ацикличной грамматике с ограничениями на вид правил 2
- Лемма. Об эквивалентности контекстно-свободной грамматики эпсилон-свободной ацикличной грамматике с ограничениями на вид правил 3
- Теорема. О существовании для контекстно-свободной грамматики грамматики в нормальной форме Хомского
- Алгоритм. Приведение контекстно-свободной грамматики к нормальной форме Хомского
Вопросы
