Атрибутные грамматики

Пусть дан фрагмент грамматики:

S ® T | T * T | (T)

T ® T + T | T * T | a | b | c | d

Тогда дерево вывода и пример атрибутной грамматики с синтезируемыми атрибутами (здесь с числовыми типами) будет:

r * i ® r + - a b c d r r i i i - integer r - real

S

T * T

T + T T - T

Пример наследуемых атрибутов приведен на следующем рисунке:

x:= if A then b else C

:=

i

x if i r®i

A B C

b r i

YACC

yacc - программа синтаксического анализа (y et a nother c ompile of c ompiles).

Также как и lex – ‘она начально была написана, как команда для ОС UNIX.

Часто эти команды используются совместно.