Teoreetilibe informaatika kordamisküsimused
v0wx0 (ehk uwy) sõna.
Asendades aga esialgse w alampuu (korduvalt) terve sõna vwx alampuuga,
saame sõna uvtwxty tuletuse, mis kuulub ka keelde, kuna sellele on võimalick
ehitada tuletuspuu.
Ei saa eksisteeerida v = x = . Kui saaksime sõna vwx alampuu asendada w
alampuuga, ilma, et sõna muutuks saaksime süntaksipuu kõrgusega alla k+1,
mis on vastuolus eeldusega.
Sellest järeldub, et sisalduvus L1 on alamhulgaks L2, on range.
21. Atribuutgrammatika, programmi semantika leidmine.
Süntaksanalüüs on keele transleerimisprotsessi esimene osa
Tr: L1 L2
Edasi tuleb töömahukas sünteesi osa semantiline analüüs.
Atribuutgrammatika:
Keele semantiline piirkond D objektide hulk, millega tegeleb.
Semantika analüüsimiseks tuleb keelele seada vastavusse tema semantiline
piirkond.
: L D
Semantilise piirkonna kirjeldamiseks semantilised muutujad hulgast X =
{x1,x2,..}, millest igaühel on domeen piirkonnas D.