A : Knotenmenge→Attributwerte mathend000# (Bsp: mathend000#)
eine Menge (Relation) von erlaubten Attribut-Tupeln (A(X0), A(X1),…, A(Xn)) mathend000# für Knoten X0 mathend000# mit Kindern [X1,…, Xn] mathend000# S→mSS mathend000# , A(X0) + A(X3) = A(X2) mathend000#; S→e mathend000#, A(X0) = A(X1) mathend000#; Terminale: A(e) = 1, A(m) = 0 mathend000#
für Knoten X0 mathend000# mit Kindern [X1,…, Xn] mathend000# S→mSS mathend000# , A(X0) + A(X3) = A(X2) mathend000#; S→e mathend000#, A(X0) = A(X1) mathend000#; Terminale: A(e) = 1, A(m) = 0 mathend000#
S→mSS mathend000# , A(X0) + A(X3) = A(X2) mathend000#; S→e mathend000#, A(X0) = A(X1) mathend000#; Terminale: A(e) = 1, A(m) = 0 mathend000#