L-атрибутные определения (L-АО). Схема трансляции

Выделим класс синтаксически управляемых определений L-АО, чьи атрибуты всегда м.б. вычислены, если дерево разбора будет строится в глубину. L-left, т.к. значения атрибутов перемещаются слева направо.

Синтаксическое управление определения называется L-атрибутным, если каждый наследуемый атрибут символа Xi (1<=ix1, x2,…, xn зависят только:

• 1)от атрибутов грамматических символов X1, X2,…, Xi-1 (расположенных левее него)
• 2) от наследуемых атрибутов символа А: А> X1, X2,…, Xi,…, Xn

Схема трансляции Схема трансляции — это КСГ, в которой с грамматическими символами связаны атрибуты, а в правых частях продукций между грамматических символов могут встречаться семантические действия, которые обычно заключаются в фигурные скобки.

В схеме трансляции используются как наследуемые, так и синтезируемые атрибуты.

При обходе в глубину выполняются семантические действия и получается постфиксная запись. Семантические действия будут выполняться правильно при использовании L-атрибутных определений.

Практически это используется:

• — при использовании только синтезируемых атрибутов необходимо семантические действия расположить в конце правой части соответствующей продукции.
• — при использовании еще и наследуемых атрибутов необходимо руководствоваться следующими правилами:
  • 1. наследуемый атрибут грамматического символа правой части продукции д.б. вычислен в действии, стоящем перед этим символом.
  • 2. действие не д. обращаться к синтезируемому атрибуту символа, стоящего от него правее.
  • 3. синтезируемый атрибут нетерминала левой части правила м.б. вычислен только после всех используемых им атрибутов. Такое действие помещается в конце левой части продукции