Skip to main content
Side panel
DL 1
Support
User support
Contact us
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are not logged in. (
Log in
)
Automaty a gramatiky
General
Obecné
Cvičení P. Gregor
Cvičení D. Kuboň
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
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
Archiv testů
Home
Course info
Home
Courses
Faculty of Mathematics and Physics
Automaty a gramatiky
Summary
Automaty a gramatiky
Teacher:
Petr Gregor
Teacher:
David Kuboň
Teacher:
Vladan Majerech
Teacher:
Marta Vomlelová