Passer au contenu principal
Panneau latéral
DL 1
Accueil
Calendrier
Plus
Français (fr)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Vous êtes connecté anonymement
Connexion
DL 1
Accueil
Calendrier
Tout déplier
Tout replier
Ouvrir l'index du cours
Ouvrir le tiroir des blocs
Automaty a gramatiky
Redukce a ekvivalence automatů
Redukce a ekvivalence automatů
Section outline
◄
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
►
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Select activity Slajdy 2 Iterační lemma, Ekvivalentní stavy, Redukce automatu, nedeterministické FA
Slajdy 2 Iterační lemma, Ekvivalentní stavy, Redukce automatu, nedeterministické FA
Fichier
Achèvement
Students must
Marquer comme terminé
Select activity K videopřednášce: 26:37 'první dvě části xy', n...
K videopřednášce:
26:37 'první dvě části xy', ne 'první dvě části xz',
naopak 1:1730-1:19:15 zbytečně zmatkuji.
◄
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Aller à…
Page d'accueil du cours
Généralités
Cvičení J. Bulín
Cvičení T. Čelko
Cvičení V. Majerech
Cvičení M. Vomlelová
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Redukce a ekvivalence automatů
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
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
Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
Diagonální jazyk, Univerzální TM
Problém zastavení, PCP, (Ne)rozhodnutelné problémy o CFG
Časová složitost
Prostorová složitost
Archiv testů
Cvičení P. Gregor
►
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky