Řešené typové příklady
- Vzorový konečný automat - řízení světelné křižovatky
- Vzorový konečný automat - zpracování čísla konečným automatem
- Konstrukce rozpoznávacích konečných automatů
- Gramatiky, derivační stromy
- Gramatiky a nedeterministické konečné automaty
- Nedeterministické konečné automaty s e-hranami, minimalizace KA a regulární výrazy
- Teorie informace
- Úvod do teorie kódování
- Hammingovy kódy
- Cyklické kódy
- Logické vyplývání