== Zirkularität == Attributgrammatiken sind zirkulär, wenn der Abhängigkeitsgraph der Attributvariablen, der durch die funktionale Abhängigkeit induziert wird, eine Schleife enthält. Diese Zirkularität lässt sich in exponentieller Zeit testen. Ein vereinfachter Test, der weniger Grammatiken zulässt, berechnet das Problem in polynomieller Z...