Skip to main content

DL 1

Support
User support Contact us
English ‎(en)‎
Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎ Русский ‎(ru)‎

You are currently using guest access (Log in)

Automaty a gramatiky
General
Obecné
Cvičení P. Gregor
Cvičení D. Kuboň
Cvičení V. Majerech
2.3. 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
Předběžné sumáře

Home
Calendar

Automaty a gramatiky

Home
Courses
Faculty of Mathematics and Physics
Automaty a gramatiky
Cvičení P. Gregor
web cvičení P. Gregora

web cvičení P. Gregora

Click http://ktiml.mff.cuni.cz/~gregor/agr/cviceni.html link to open resource.

◄ Sdílená tabule

Jump to...

web cvičení D. Kuboně ►

You are currently using guest access (Log in)

Automaty a gramatiky

Support
- User support
- Contact us
English ‎(en)‎

Data retention summary

Get the mobile app