Teoreetilibe informaatika kordamisküsimused
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:
AG = (G,A,R) on korrektselt määratud, kui iga keele sõna x korral on tuletuspuus
kõigi atribuutide väärtused määratud.
Sõna x semantika on väärtus:
(X,k1,..,km) =
Kus zi on sõna x dekoreerit tuletuspuu juure sünteesitud atribuutide väärtused ja
ki on juure päritud atrivuutide väärtused.
Atribuutgrammatika kasutab sõna struktuuri (sünteesit' atrib) ja konteksti (pärit'
atrib), et esitada sõna semantika.
22. Turingi masin ja registermasin. Lahenduvad ja genereeritavad hulgad.
Turingi masin on struktuur, käsitlemaks kontekstist sõltuvate ja kitsendusteta
fraasistruktuuri grammatikate süntaksanalüüsi. Selle lahendusvust. See on
annaabi.ee 
