Teoreetilibe informaatika kordamisküsimused
kleebvitav suuremaks puuks.
Piisav:
Olgu antud ühe tipuga süntaksipuu saame 0-sammulise tuletuse. Iga alampuu
esitab terviklikku sõnajupi sünteesi .. igale elementaarpuule on vastavusse
seatav produktsioon ja muud polegi vaja.
Sõna tuletuspuu:
Täielikku süntaksipuud (mittelaiendatavat süntaksipuud mille juureks on
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