Attributgrammatiken (I)

• Attribut: Annotation an Knoten des Syntaxbaums.

  A : Knotenmenge→Attributwerte     (Bsp: $\mathbb {N}$)

• Attributgrammatik besteht aus:
  • kontextfreier Grammatik G (Bsp: {S→e | mSS})
  • für jeden Knotentyp (Terminal + Regel)

    eine Menge (Relation) von erlaubten Attribut-Tupeln (A(X₀), A(X₁),…, A(X_n))

    für Knoten X₀ mit Kindern [X₁,…, X_n]

    
    S→mSS , A(X₀) + A(X₃) = A(X₂);
    S→e, A(X₀) = A(X₁);
    Terminale: A(e) = 1, A(m) = 0