"tuletuspuule" - 1 õppematerjal

Teoreetilibe informaatika kordamisküsimused

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: 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.