2026/27

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. Úvod do teorie vyčíslitelnosti.

Cílem předmětu je zvládnutí základních metod matematické statistiky při návrhu experimentů a zpracování získaných dat. Kurz zahrnuje i praktické zvládnutí metod pomocí statistického software R.