Macro Attributed Tree Transducers

In Chaps. 4 and 5 we investigated two formal models of syntax-directed semantics which are able to handle context, the macro tree transducer and the attributed tree transducer, respectively. Whereas the first one handles context in an implicit way by allowing the meaning names (i.e., states) to have parameters, the second one deals with context information in an explicit way by introducing context names (i.e., inherited attributes).