turingove stroje
instrukcia, konfiguracia
bezkontextove
rekoc mnoziny
veta o separacii
riceova
vztah TS k rek
Halting Problem
Kleeneho Veta
konf, prevod, pojem vypocitatelnosti
postova lemma
veta o dedukcii
korektnost vp a pp
uplnost vp
uzaverove vlastnosti
church-post lema
chomskeho hierarchia
normalne tvary bezkontext j