24
        
        
        
          
            ИНФОРМАЦИОННЫЕ СТРУКТУРЫ И ИХ
          
        
        
          
            ПРЕОБРАЗОВАНИЕ
          
        
        
          # E+i #
        
        
          # <
        
        
          ∘
        
        
          +<
        
        
          ∘
        
        
          i
        
        
          ∘
        
        
          > #
        
        
          i
        
        
          F;
        
        
          # E+F #
        
        
          #<
        
        
          ∘
        
        
          +
        
        
          ∘
        
        
          >#
        
        
          E+F
        
        
          E.
        
        
          Структура цепочки правильная и разбор окончен, если между # стоит
        
        
          нетерминал.
        
        
          
            3.5. Предшествование более высокого порядка
          
        
        
          E
        
        
          E    +   T
        
        
          T    *    F
        
        
          (E)
        
        
          E  +     T
        
        
          Для этого дерева: +
        
        
          ≐
        
        
          T и +
        
        
          ⋖
        
        
          T; (
        
        
          ≐
        
        
          E и (
        
        
          ⋖
        
        
          E.
        
        
          Чтобы решить проблему, введём новые правила:
        
        
          E: = E
        
        
          1
        
        
          ;
        
        
          E
        
        
          1
        
        
          : = E
        
        
          1
        
        
          +T
        
        
          1
        
        
          |T
        
        
          1
        
        
          ;
        
        
          T
        
        
          1
        
        
          : = T.
        
        
          Учитывая эти правила, можно нарисовать дерево:
        
        
          E
        
        
          |
        
        
          E
        
        
          1
        
        
          E
        
        
          1
        
        
          +  T
        
        
          1
        
        
          |
        
        
          T
        
        
          T   *     F
        
        
          |
        
        
          (E)
        
        
          |
        
        
          E
        
        
          1
        
        
          E
        
        
          1
        
        
          +  T
        
        
          1