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