Passer au contenu principal
Panneau latéral
DL 1
Accueil
Plus
Français (fr)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Vous êtes connecté anonymement
Connexion
DL 1
Accueil
Tout déplier
Tout replier
Ouvrir l'index du cours
Ouvrir le tiroir des blocs
Automaty a gramatiky
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Section outline
◄
Redukce a ekvivalence automatů
►
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Select activity λ-NFA, operace nad regulárními jazyky
λ-NFA, operace nad regulárními jazyky
Test
Achèvement
Students must
Marquer comme terminé
Select activity Slajdy 3.přednásky
Slajdy 3.přednásky
Fichier
Achèvement
Students must
Marquer comme terminé
Select activity Aktualizovaný textový soubor
Aktualizovaný textový soubor
Fichier
◄
Redukce a ekvivalence automatů
Aller à…
Page d'accueil du cours
Cvičení J. Bulín
Cvičení V. Majerech
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Redukce a ekvivalence automatů
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG
Chomského normální forma, Pumping lemma pro CFG
Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG
Deterministické PDA, Uzávěrové vlastnosti CFL, Dyckovy jazyky
Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
Diagonální jazyk, Univerzální TM, algoritmicky nerozhodnutelné problémy, Postův korespondenční problém
Problém zastavení, PCP, (Ne)rozhodnutelné problémy o CFG
Časová složitost
Prostorová složitost
Archiv testů
Cvičení P. Gregor
►
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus