Poznámky
Osnova
Kapitola X.
Normální formy a vlastnosti bezkontextových jazyků
Chomského normální forma (CNF)
Greibachové normální forma (GNF)
Generativní síla normálních forem
Metody obecné syntaktické analýzy
Obecná SA založená na CNF
Algoritmus: Obecná SA založená na CNF
Obecná SA založená na CNF: Příklad 1/5
Obecná SA založená na CNF: Příklad 2/5
Obecná SA založená na CNF: Příklad 3/5
Obecná SA založená na CNF: Příklad 4/5
Obecná SA založená na CNF: Příklad 5/5
Pumping lemma pro BKJ
Pumping lemma: Ilustrace
Pumping lemma: Aplikace
Pumping lemma: Příklad 1/2
Pumping lemma: Příklad 2/2
Uzávěrové vlastnosti BKJ
Algoritmus: BKG pro sjednocení
Algoritmus: BKG pro konkatenaci
Algoritmus: BKG pro iteraci
Uzávěrové vlastnosti
Průnik: Není uzavřeno
Doplněk: Není uzavřeno
Hlavní rozhodnutelné problémy
Algoritmus: Problém členství
Dostupné symboly
Ukončující symboly
Algoritmus: Problém prázdnosti
Algoritmus: Problém konečnosti
Hlavní nerozhodnutelné problémy