Teoreetilibe informaatika kordamisküsimused
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
üleüldine arvuti mudel, millega eelkõige analüüsitakse lahenduvust.
Lõpmatu lint diskreetsete pesadega. Lugemis-kirjutamispea
annaabi.ee 
