Prohlášení:

 Ačkoliv by se mohlo zdát, že tato stránka je již poněkud zastaralá (nevím, jestli si někdo ze současných čtenářů těchto stránek ještě pamatuje "tajfun"), není tomu tak. Přestože se označení předmětu neustále mění v souvislosti s různými reformami výuky, obsah zůstává. Nechápejte to prosím jako zkostnatění výuky, toto jsou jednoduše naprosté základy, které musí zvládnout každý informatik.

Pracovní text ke cvičením je k dispozici zde a zde.
01Formální gramatiky, regulární gramatiky
02Konečné det. automaty, pumping lemma
03Minimalizace KA, nedeterministické KA, (M-)Nerodova věta
04Regulár. gramatiky a výrazy <=> KA, Epsilon kroky, Kleeneho věta
05Uzávěrové vlastnosti R, Bezkontextové gramatiky
06Normální tvary CFG, pumping lemma pro CFL
07Zásobníkové automaty
08Uzávěrové vlastnosti CFL
09Konstrukce Turingových strojů
10Vztah TS a gramatik typu 0, uzávěrové vlastnosti
11Důkaz nerozhodnutelnosti redukcí
12Postův korespondenční problém, nerozhodnutelné problémy z TAFJ, diagonalizace
01Funkce FIRST a FOLLOW
02LL(k), SLL(k), SLL(k) analyzátor, Tra-ce LL(1) gramatik I
03Tra-ce LL(1) gramatik II, LL(k) analyzátor
04LR(0),SLR(k) analyzátory
05LR(K),LALR(k) analyzátory, bisimulace
06Konstrukce tabel pro BPA
07Přechodové systémy BPA a BPP. Konstrukce tabel pro BPP
Jiri Barnat's Homepage