Opcje zapisów
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.
- Učitel: Lenka kosková Třísková
Goście nie mają prawa dostępu do tego kursu. Proszę się zalogować.