Teoreetilibe informaatika kordamisküsimused
(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. Lõplik hulk olekuid.
Programm käskude hulk. Käsk lindilt lugemine, siirdumine uude olekusse
koos lugemispea liigutamise / kirjutamisega.
Üks algolek, üks või mitu lõppolekut.
Masin A realiseerib funktsiooni f, kui enne töö algust on lindil x ja pärast töö
lõppu y = f(x).
annaabi.ee 
