Since attribute grammars could be obtained from functional programs, it is possible to apply attribute grammars deforestation methods, like the descriptional composition. To be able to present our symbolic composition, we first present a natural extension of profile symbolic evaluation that is useful in the application of the symbolic composition.
It is important to note here that even if the final results of symbolic composition are attribute grammars, the objects that will be manipulated by intermediate transformations are more blocks of attribute grammars rather than complete attribute grammars. Furthermore, the expressions of the form (x.a).b previously avoided (cf. Check predicate in section 2.3), will be temporarily authorized for the symbolic composition process.