Изменения

В данном примере не требуется дерево разбора в явном виде. В данной реализации рекурсивные функции от нетерминалов получают на вход(если необходимо) наследуемые атрибуты узла и возвращают синтезируемые (вершины дерева разбора, в атрибутах которых записан результат вычислений соответствующего подвыражения). Как мы видим, $val$ - синтезируемый атрибут, $acc$ - наследуемый атрибут, $ADD$ - транслирующий символ. Синим подсвечены строки, отвечающие за работы с атрибутами.

ADD.res = ADD(acc, temp)</font>

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