Teoreetilibe informaatika kordamisküsimused
kirjutades.
Puu T1 terminaalse tipu A asendamine puuga T2 tähistatakse t = T1{A/T2}
Märgendatud järjestatud elementaarpuid saab esitada kontekstivabade
grammatikate produktsioonide esitamiseks.
Süntaksipuuks KV-grammatikas G = (,N,P,S) nimetatakse märgendatud
järjestatud puud t, kui iga r kuulub E(t) korral r p, p kuulub produktsiooni.
Ehk siis kui iga puu kaar esitab produktsiooni.
Iga puu on üheselt esitatav oma elementaarpuude nimistuna E(t) (elementaarpuu
on puu, mis koosneb vaid juurest ja terminaalsetest tippudest).
Märgendatud järjestatud elementaarpuu esitab produktsiooni.
Mitteterminaalist A on tuletatav lausevorm parajasti siis, kui grammatikas G
leidub tuletuspuu A[].
Näidata, et see on tarvilik ja piisav ja tingimus sõna aktsepteerimiseks:
Tarvilik:
Kui string on tuletatav 0 sammuga, siis saame kostrueerida ühest tipust
koosneva puu A[A] mis on süntaksipuu, kuna vastav produktsioon on
annaabi.ee 
