Teoreetilibe informaatika kordamisküsimused
lähtesümobl ja lehtedeks ainult terminaalid) ning mille krooniks on string x
nimetatakse sõna x tuletuspuuks.
Sõna kuulub keelde, kui eksisteerib tuletuspuu, mille krooniks see sõna on.
Tuletuspuu on reeglina ka lause semantika näitaja (mitme tuletuspuu korral
mitmes erinevas tähenduses). Progemiskeelte korral igal lausel vaid 1
tuletuspuu.
KV-grammatika, mille korral leidub sõna, millel on mitu tuletuspuud, nimetatakse
mitmeseks.
Teatud mitmestele grammatikatele leidub ekvivalentseid üheseid grammatikaid.
KV keelt, millel leidub ühene genereeriv grammatika, nimetatakse üheseks, millel
ei leidu, mitmeseks.
KV-grammatika G on ühene, kui ei leidu keelde kuuluvaid sõnu, mille erinevad
vasak-, paremtulemused omaksid erinevaid tuletuspuid (mitmene grammatika on
see, mille korral leidub mitu erinevat vasaktuletust).
Vasak- ja paremtuletus.
14. KV-grammatikate redutseerimine.
Keele mittetühjuse kontroll: