Teoreetilibe informaatika kordamisküsimused
vahele, v esimese A vasakpoolse ja teise A vasakppolse alampuu vahele, w
teise A alampuude vahele, x teise a teise A parema ja esimese A parema vahele.
y esimese A parema ja stardisümboli parema vahele.
vwx sõnale vastava alampuu kõrgus on väiksem, kui k+1. Seega võime valida q
= mk+1 > |vwx|.
Kui eemaldame sõna vwx alampuu ja asendame selle w alampuuga, saame
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
annaabi.ee 
