Формальные языки, грамматики и основы построения трансляторов. Кревский И.Г - 73 стр.

                                                                                  73
     В    приведенном         выше      примере    abbcde   представляет    собой
правосентенциальную форму, основой которой является А → β в позиции 2.
Аналогично aAbcde представляет собой правосентенциальную форму,
дескриптор которой – А→Abc в позиции 2. Иногда мы будем говорить
"подстрока β представляет собой основу αβw", если позиция β и продукция
А→β определяются однозначно.
     На    рис.13.1        изображена     основа    А→β     в   дереве     разбора
правосентенциальной формы αβw. Основа представляет крайнее слева
завершенное поддерево, состоящее из узла и всех его потомков. На рис.13.1
узел А — нижний крайний слева внутренний узел, все потомки которого
находятся в дереве. Свертку β к А в αβw можно представить как "обрезку
основы", т.е. удаление из дерева разбора всех потомков А.




                Рис.13.1. Основа А → β в дереве разбора αβw
Пример 13.a
     Рассмотрим следующую грамматику
              (1) Е → E + E
              (2) Е → Е * Е
              (3) E → (E)                                                (13.1)
              (4) E → id
и правое порождение