Определение. КС-грамматика является LL(1) грамматикой
тогда и только тогда, когда
выполняются следующие два условия: 1 . Для каждого нетерминала, являющегося левой частью нескольких правил: <A> ®a 1 | a 2 | ... | a n, необходимо, чтобы пересечение функций ПЕРВ(a i) и ПЕРВ(a j) было пусто для всех i =/= j. 2 . Для каждого аннулирующего нетерминала <A>,такого что <A> ==>* $, необходимо, чтобы пересечение множеств ПЕРВ(<A>) и СЛЕД(<A>) было пустым. |
Определение
. КС-грамматика называется LL(1) грамматикой тогда
и только тогда, когда
множества ВЫБОР, построенные для правил с одинаковой левой частью, не содержат одинаковых элементов. |