Obsahem předmětu: Konečný popis nekonečných množin
Base
Automaty (DFA, NFA)
Jazyky
Gramatiky
CF gramatiky
Zásobníkový automat (ZA)
CF jazyky
ToDo