The intrinsically exponential complexity of the circularity problem for attribute grammars

Attribute grammars are an extension of context-free grammars devised by Knuth as a mechanism for including the semantics of a context-free language with the syntax of the language. The circularity ...