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 currently using guest access (
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
Předběžné sumáře
Home
Calendar
Automaty a gramatiky
Home
Courses
Faculty of Mathematics and Physics
Automaty a gramatiky
Obecné
Seznam nejdůležitějších definic, vět, algoritmů a obrázky
Seznam nejdůležitějších definic, vět, algoritmů a obrázky
Velmi stručný obsah přednášky ve třech obrázcích a třech seznamech.
Click
shrnuti.pdf
link to view the file.
◄ Slajdy přednášek (verze 23.5.2022)
Jump to...
Jump to...
Test 24.5. ve 14:00
Test 23.5. ve 14:00
Test 16.5. v 16:30
Obecné
Požadavky ke zkoušce
Zapište se do své skupiny
Videozáznamy přednášky 2019
Slajdy přednášek (verze 23.5.2022)
Slovník pojmů (ve vývoji)
Příklady na cvičení (aktualizace 18.5.2022)
Příklad otázek (v testu jen 12, a to jiných ;-)
Python knihovny
web cvičení P. Gregora
web cvičení D. Kuboně
Cvičení V. Majerech
Zadání cvičení
Iterační lemma pro regulární jazyky
Konečné automaty, PL pro regulární jazyky
2. přednáška
λ-NFA, operace nad regulárními jazyky
Kleene
Python notebook testující regulární výrazy
Kleene, uzávěrové vlastnosti
Konečné automaty: dodatky
Gramatiky obecně, bezkontextové a regulární
Zásobníkové automaty úvod
CYK, Uzávěrové vlastnosti, Determinizmus
Pumping lemma pro bezkontextové gramatiky, Chomského normální forma bezkontextové gramatiky (kopie)
Kontextové gramatiky, Lineárně omezené automaty
Komplet náhodných kategorií
Slovník pojmů (ve vývoji) ►