Изменения

T \to T \times * F \mid F \\

|style="background-color:#FFF;padding:2px 30px"| В фигурных скобках {{- --}} действия транслирующего символа ADD. $op_1$, $op_2$ и $res$ {{--- }} атрибуты транслирующего символа.

|style="background-color:#FFF;padding:2px 30px"| $T_0 \to T_1 \times * F \ \{MUL\ res = op_1 \times op_2\}$

|style="background-color:#FFF;padding:2px 30px"| В фигурных скобках {{- --}} действия транслирующего символа MUL. $op_1$, $op_2$ и $res$ {{--- }} атрибуты транслирующего символа.

(здесь $\{ENTRY {{...}} \}$ {{- --}} [[Атрибутные_транслирующие_грамматики#tr_char|транслирующий символ]]. Если в продукции несколько раз встречается одинаковый нетерминал, будем добавлять к нему индексы, считая от начала продукции.):

|style="background-color:#FFF;padding:2px 30px"| $L L_0 \to LL_1,id\ \{ENTRY addtype(key, value)\}$|style="background-color:#FFF;padding:2px 30px"| $L_1.ininh =LL0.inh \\ ENTRY.key=id.text \\ ENTRY.value=LL_0.inh$

Семантическое правило $L.inh = T.type$, связанное с продукцией $D \to TL$, определяет наследуемый атрибут $L.inh$ как тип объявления. Затем приведенные правила распространяют этот тип вниз по дереву разбора с использованием атрибута $L.inh$. Транслирующий символ $ENTRY$, связанный с продукциями для $L$, вызывает процедуру $addtype$ для добавления типа каждого идентификатора к его записи в таблице символов (по ключу, определяемому атрибутом $text$).

[[Файл:Real_id1,_id2,_id3.png|600px|center|thumb|аннотированное Аннотированное дерево разбора для '''$\mathbf{real}\ id1,\ id2,\ id3$'''|600px]]

Рассмотрим работы с атрибутами на примере $LL(1)$-грамматики арифметических выражений, которая уже была разобрана [[Построение FIRST и FOLLOW#Пример | ранее]] и расширим код [[Предиктивный_синтаксический_анализ | разборщика]] для нее:

В данном примере не требуется дерево разбора в явном виде. В данной реализации рекурсивные функции от нетерминалов получают на вход(если необходимо) наследуемые атрибуты узла и возвращают синтезируемые (вершины дерева разбора, в атрибутах которых записан результат вычислений соответствующего подвыражения). Однако этот код легко изменить, чтобы он только вычислял значение выражения и не строил дерево разбора. Как мы видим, $val$ {{- --}} синтезируемый атрибут, $acc$ {{--- }} наследуемый атрибут, $ADD$ {{--- }} транслирующий символ. Синим подсвечены строки, отвечающие за работу с атрибутами. Здесь <tex>\mathtt{Node}</tex> {{---}} структура следующего вида: '''struct''' Node children : '''map<String, Node>''' name : '''string''' val : '''int''' <font color="green">// атрибут нетерминала</font> '''function''' addChild('''Node''') <font color="green">// функция, подвешивающая поддерево к данному узлу</font> 

res.addChild(T()) <font color="green">// подвешиваем левого сына</font> <font color="blue">temp = res.children["T"].val</font> <font color="green">// атрибут левого сына</font> <font color="blue">Node rightSon = E'(temp) </font> <font color="green">// отдадим атрибут левого сына правому как наследуемый атрибут</font> <font color="blue">res.addChild(rightSon) </font> <font color="green">// подвешиваем правого сына сына</font> <font color="blue">res.val = res.children["E'(temp)) "].val</font>

<font color="blue">temp = res.children["T"].val ADD.res = ADD(acc, temp) <font color="green">// ADD проведет вычисления из наследуемого атрибута add и атрибута ребенка "T"</font> res.addChild(E'(ADD.res))<font color="green">// результат вычислений будет передан правому ребенку как наследуемый атрибут</font> res.val = res.children["E'"].val</font>

<font color="blue">res.val = acc;</font>

<font color="blue">rev.val = res.children["E"].val</font>

Общедоступный генератора генератор разборщиков ANTLR<ref>[http://www.antlr.org/ ANTLR {{---}} Parser generator]</ref> поддерживает синтаксически управляемое определение.  Рассмотрим для той же грамматики арифметических выражений с операторами <tex>+,\ *</tex>, скобками и выводом результата выражения пример на ANTLR.  grammar Expression; '''@header''' { package ru.ifmo.ctddev.wiki; }  Естественным образом можно добавлять действия в продукции, где это нужно. Действия выполняются после предыдущего элемента грамматики и до следующего.

Рассмотрим для примера грамматику арифметических выражений с операторами <tex>+-\times \div</tex>, и выводом результата выражениаяСтартовый нетерминал печатает результат: s : expr { System.out.println($expr.val); };

Вне продукций грамматики бывает нужно вставить в сгенерированный разборщикВ продукции для нетерминала <code>expr</code> определяется возвращаемое значение (для Java) package, import, а также некоторые поля и методы. Это делается с помощью <code>@header['''int''' val]</code> и ). Обращение к этому атрибуту имеет вид <code>@members$expr.value</code>:. В фигурных скобках записаны семантические правила.

grammar Expr; '''@header''' { package ru.ifmo.ctddev.wiki; import java.util.*; } '''@parser::members''' { MapРазобранные нетерминалы возвращают результат, вычисленный в поддереве(<String, Integercode> memory = new HashMapreturns [int val]<String, Integer/code>(); int eval(int leftкак свой синтезируемый атрибут, int op, int right) процесс вычисления которого описан в фигурных скобках <code>{ /$val = $exprP.val; }</code>... } }

Стартовый нетерминал печатает резульат: s : e { System.out.printlnНаследуемые атрибуты передаются нетерминалу как параметр(<code>exprP[$eterm.valueval]</code>);};.

Естественным образом можно добавлять действия в продукции, где это нужно expr '''returns''' ['''int''' val] : term exprP[$term. Действия выполняются после предыдущего элемента грамматики и до следующегоval] { $val = $exprP.val; } ;

e exprP['''int''' i] '''returns''' ['''Integerint''' valueval]: t : {$value val = $t.valuei;}<font color="green"> // <tex>\varepsilon</tex>-правило</font> ( | '+' t term expr = exprP[$i + $term.val] {$value +val = $texpr.valueval;} | ; term '''returns''' ['''int''-' t val] : fact termP[$fact.val] {$value -val = $ttermP.valueval;} )*;

t termP['''int''' i] '''returns''' ['''Integer[int''' valueval]: f : {$value val = $f.valuei;} ( | '*' f fact expr = termP[$i * $fact.val] {$value *val = $fexpr.valueval;} )* ;

f fact '''returns''' ['''Integerint''' valueval]: : '(' expr '-)' f {$value val = $fexpr.valueval;} | NUM {$value val = Integer.parseInt($NUM.text);} | '(' e ')' {$value = $e.value;}