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
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Section outline
◄
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
►
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
Select activity Slajdy 4.přednásky
Slajdy 4.přednásky
Fichier
Achèvement
Students must
Marquer comme terminé
Select activity Prezentace rozlozena 4
Prezentace rozlozena 4
Fichier
Achèvement
Students must
Marquer comme terminé
Select activity Kleene
Kleene
Test
Achèvement
You have to add at least one completion condition.
Select activity Python notebook testující regulární výrazy
Python notebook testující regulární výrazy
Fichier
Select activity Kleene, uzávěrové vlastnosti
Kleene, uzávěrové vlastnosti
Test
Achèvement
Students must
Marquer comme terminé
◄
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Aller à…
Page d'accueil du cours
Obecné
Cvičení J. Bulín
Cvičení V. Majerech
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Redukce a ekvivalence automatů
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG
Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG
Deterministické a bezprefixové PDA
Chomského normální forma, Pumping lemma pro CFG
Uzávěrové vlastnosti CFL, Dyckovy jazyky
Uzávěrové vlastnosti bezkontextových jazyků, Dyckovy jazyky
Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
Dělící čára minulosti a budoucnosti
Diagonální jazyk, Univerzální TM, algoritmicky nerozhodnutelné problémy, Postův korespondenční problém
Časová a prostorová složitost
Archiv testů
Cvičení P. Gregor
►
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj