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