Изменения
→Соотношение классов CFL и P
{{Теорема
|statement =
Класс [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободных языков]] входит в класс <tex>\mathrm{P}</tex>, то есть: <tex>\mathrm{CFL } \subset P</tex>.
|proof =
<tex>\mathrm{CFL } \subset \mathrm{TS}(n^3, n^2) \subset \mathrm{P}</tex>
Первое включение выполняется благодаря существованию [[Алгоритм Эрли|алгоритма Эрли]].
}}
