Пусть дана '''Алгоритм Эрли''' позволяет определить, выводится ли данное слово <tex>\omega</tex> в данной [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободнаясвободной]] грамматике <tex>G</tex>. '''Вход:''' КС грамматика <tex>G=\langle N,\Sigma, P, S \rangle</tex> и входная цепочка слово <tex>\omega</tex>. Требуется определить<br/>'''Выход:''' <tex>true</tex>, выводится ли если <tex>\omega</tex> выводится в <tex>G</tex>; <tex>false</tex> — иначе.
==Определения==
{{Определение
