Перейти к основному содержанию
Боковая панель
DL 1
В начало
More
Русский (ru)
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Вы используете гостевой доступ
Вход
DL 1
В начало
Развернуть всё
Свернуть всё
Open course index
Open block drawer
Automaty a gramatiky
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Section outline
◄
Redukce a ekvivalence automatů
►
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus
Select activity λ-NFA, operace nad regulárními jazyky
λ-NFA, operace nad regulárními jazyky
Тест
Отслеживание выполнения
Students must
Mark as done
Select activity Slajdy 3.přednásky
Slajdy 3.přednásky
Файл
Отслеживание выполнения
Students must
Mark as done
Select activity Aktualizovaný textový soubor
Aktualizovaný textový soubor
Файл
◄
Redukce a ekvivalence automatů
Перейти на...
Главная страница курса
Cvičení J. Bulín
Cvičení V. Majerech
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Redukce a ekvivalence automatů
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
Chomského normální forma, Pumping lemma pro CFG
Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG
Deterministické PDA, Uzávěrové vlastnosti CFL, Dyckovy jazyky
Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
Diagonální jazyk, Univerzální TM, algoritmicky nerozhodnutelné problémy, Postův korespondenční problém
Problém zastavení, PCP, (Ne)rozhodnutelné problémy o CFG
Časová složitost
Prostorová složitost
Archiv testů
Cvičení P. Gregor
►
Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus