Volby zápisu
Konečné automaty deterministické a nedeterministické a jazyky jimi rozpoznatelné, Nerodova věta, programová realizace automatů, redukce konečného automatu, lexikální analýza. Regulární výrazy, regulární jazyky. Zásobníkové automaty. Gramatiky, Chomského hierarchie, Bezkontextové jazyky, redukce gramatiky, Pumping Lemma. Turingův stroj. Algoritmicky nerozhodnutelné problémy.
- Učitel: Lenka kosková Třísková
Anonymní hosté nemohou do tohoto kurzu vstupovat. Přihlaste se prosím.