An AttributeGrammar where one of the attributes is the Grammar. 

See 
* http://web.cs.wpi.edu/~jshutt/adapt/summaries.html#Christiansen

----
CategoryCompilers