A. Attribute Grammars
Attribute grammars are widely used to model syntaxdirected
translation tasks, in which the processing of the
sentences of a formal language is driven by their syntactic
structure [2]. Figure 1a shows an example of an attribute
grammar concerning the evaluation of a small language that
consists of very simple arithmetic expressions.