Skip to main content
Side panel
DL 1
Home
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
DL 1
Home
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Open block drawer
Faculty of Mathematics and Physics
Department of Theoretical Computer Science and Mathematical Logic
Informatics
Automaty a gramatiky
Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG
Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG
Section outline
◄
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
►
Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG
Select activity Gramatiky obecně, bezkontextové a regulární
Gramatiky obecně, bezkontextové a regulární
Quiz
Completion
Students must
View
Receive a grade
První přednáška gramatik
Select activity Úvod do gramatik
Úvod do gramatik
File
Completion
Students must
Mark as done
◄
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
Jump to...
Main course page
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
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
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
►
Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG