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
Cvičení V. Majerech
Cvičení V. Majerech
Section outline
◄
Cvičení T. Čelko
►
Cvičení M. Vomlelová
Select activity Cvičení V. Majerech
Cvičení V. Majerech
URL
◄
Cvičení T. Čelko
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
►
Cvičení M. Vomlelová