Teoreetilibe informaatika kordamisküsimused
Seega on muutuja xi jaoks võimalike väärtuste hulk D(xi) alamhulgaks D-le.
Iga semantilise muutuja väärtuste hulk on osaliselt järjestet ja sisaldab
tühiväärtuse NULL.
määramiseks kasutatakse formalismi nimega atribuutgrammatika:
AG = (G,A,R) on struktuur, kus
G = (,N,P,S) on KV grammatika
A: V P(X) on G terminaalide ja mitteterminaalide hulga atribuutide hulk
R = Rp (reegel iga produktsiooni kohta) semantikareeglite pere
Eeldame, et iga süboli (term, mitteterm) atrib hulk on lõplik.
A(Y) = {a1,a2,..,an}
ai on semantiline muutuja hulgast X
Jagame iga sümboli atribuutide hulga kaheks A(Y) = I(Y)US(Y)
I(Y) ühend S(Y) on tühihulk.
Kujutus A defineerib atribuudid igale süntaksipuule.
Süntaksipuu dekoreerimine:
Sõna x atribuutide arvutamine tuletuspuule.
Dekoreerimine algab kõigi atribuutide NIL väärtusel ja kestab, kuni kõigi
atribuutide väärtused olemas.
Atribuutgrammatika korrektne määratlus:
annaabi.ee 
