Rewrite the underlying grammar in the syntax-directed definition of Example 5.3 so that type information can be propagated using synthesized attributes alone
Example 5.3 Construct the dag and identify the value numbers for the sub expressions of the following expression. assuming + associates from the left: a+a+(a+a+a+(a+a+a+a»