Формальные языки

куплю софт

LL( - грамматики


    Разделенные и слаборазделенные грамматики представляют собой подклассы грамматик более общего вида, которые называются LL(1) грамматиками, и которые определяются следующим образом.
     

    Определение. КС-грамматика является LL(1) грамматикой тогда и  только тогда, когда 
                             выполняются следующие два условия: 
                       1 . Для каждого нетерминала, являющегося левой  частью нескольких правил: 
                             <A>  ®a 1

    | a 2 | ... | a

    n,  
                            необходимо, чтобы пересечение функций ПЕРВ(a

    i) и ПЕРВ(a j) было 
                            пусто для всех i =/= j. 
                       2 . Для каждого аннулирующего нетерминала <A>,такого что <A> ==>* $, 
                            необходимо, чтобы пересечение  множеств ПЕРВ(<A>) и СЛЕД(<A>) было 
                            пустым. 

    Из определения следует, что грамматики LL(1), в отличие от разделенных грамматик и слаборазделенных, могут содержать правила, начинающиеся нетерминальными символами. Проверим относится ли рассмотренная ранее грамматика Г43  к классу LL(1).



    - Начало -  - Назад -  - Вперед -