12. Атрибутные грамматики. Наследуемые и синтезируемые атрибуты.

Атрибуты переменной: имя, значение, тип.

1 Синтезируемые атрибуты

Грамматика (атрибутные правила):

1. <S> <E>_p{res}_r r p

2. <E>_q <E>_p+<T>_r q p+r

3. <E>_q <T>_r q r

4. <T>_q <T>_p*<P>_r q p*r

5. <T>_q <P>_r q r

6. <P>_q (<E>_r) q r

7. <P>_q c_r q r

Терминальные символы: {+, *, (, ), }

Проверим, принадлежит ли выражение c*(c+c) данной грамматике. Подставим в выражение значения 4*(6+2)

<S> {res₃₂}

<E>₃₂

<T>₃₂

<T>₄ * <P>₈

<P>₄ ( <E> )₈

c₄ <E>₆ + <T>₂

<T>₆ <P>₂

<P>₆ c₂

c₆

В рассмотренном примере атрибуты были определены только у терминальных символов. Далее мы определяли атрибуты у нетерминальных символов, поднимаясь от листьев синтаксического дерева к его корню. Такая операция называется синтезом атрибутов. Значения переменных p,q,r – значения атрибутов (в данном случае констант), которые были получены на этапе лексического анализа и записаны в таблицу констант. Итак, атрибуты есть как у терминальных, так и у нетерминальных символов.

{res} – процедура, которая произведет операцию замены всего выражения на константу.

Синтезируемыми атрибутами также могут быть метки.

2 Наследуемые атрибуты

Грамматика:

1. <описание> type V <список переменных>

2. <список переменных> , V <список переменных>

3. <список переменных> ε

Терминальные символы: {type, V, “,”, }

Соответствует грамматике: type V,V,V

Не соответствуют грамматике: V, type; type ,V; type V,

Примеры: int a,b,c; char ch,chr

Можно получить атрибутивную грамматику:

1. <описание> type_t V_p {DT}_t1,p1 <список переменных>_t2 (t1,t2) t; p1 p

2. <список переменных>_t , V_p {DT}_t1,p1 <список переменных>_t2 (t1,t2) t; p1 p

3. <список переменных>_t ε

Проверим, принадлежит ли выражение type_real V₁,V₂,V₃ данной грамматике

<описание>

type_real V₁ {DT}_real,1 <список переменных>_real

, V₂ {DT}_real,2 <список переменных>_real

, V₃ {DT}_real,3 <список переменных>_real

ε

В приведенном примере мы имели распространение атрибутов от корня дерева к его листьям (нисходящий метод распространения атрибутов). Этот метод называется наследованием атрибутов, а атрибуты, полученные таким образом, называются наследуемыми атрибутами.

13. Использование автоматов с магазинной памятью для нисходящего разбора.

1 Метод МП-автомата (автомата с магазинной памятью)

Автомат с МП – это математическая модель, с помощью которой мы можем решать задачи распознавания КСЕ.

Автомат с МП:

1. Состояние (S)

   1. Сменить состояние (S’)

2. Магазин (синоним: стек)

   1. Втолкнуть в магазин (A)

   2. Вытолкнуть из магазина (берется верхний элемент)

   3. Оставить без изменения

3. Входная цепочка

   1. Сдвиг указателя

   2. Держать (не давать сдвигаться)

Использовать состояния в дальнейшем мы не будем.

МП-автомат определяется пятью элементами:

1. конечное множество входных символов (алфавит), дополненное знаком окончания цепочки

2. конечное множество магазинных символов, дополненное знаком окончания цепочки

3. конечное множество состояний, причем одно из состояний выделено как начальное

4. управляющий механизм, который каждой комбинации входного символа, магазинного символа и состояния ставит в соответствие либо выход, либо переход. Переход от выхода отличается тем, что при переходе выполняются операции над магазинным состоянием и входом.

5. начальное содержимое магазина