Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Otevřít panel bloku
Matematicko-fyzikální fakulta
Katedra teoretické informatiky a matematické logiky
Informatika-Bc
Automaty a gramatiky
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Osnova sekce
◄
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
►
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj
Vybrat aktivitu Slajdy 4.přednásky
Slajdy 4.přednásky
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu Prezentace rozlozena 4
Prezentace rozlozena 4
Soubor
Absolvování
Studenti musí
Označit jako hotovo
Vybrat aktivitu Kleene
Kleene
Test
Absolvování
Musíte přidat alespoň jednu podmínku dokončení.
Vybrat aktivitu Python notebook testující regulární výrazy
Python notebook testující regulární výrazy
Soubor
Vybrat aktivitu Kleene, uzávěrové vlastnosti
Kleene, uzávěrové vlastnosti
Test
Absolvování
Studenti musí
Označit jako hotovo
◄
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Přejít na...
Hlavní stránka kurzu
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
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
Časová a prostorová složitost
Archiv testů
Cvičení P. Gregor
►
Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj