Перейти к основному содержанию
Боковая панель
DL 1
В начало
More
Русский (ru)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Вы используете гостевой доступ
Вход
DL 1
В начало
Развернуть всё
Свернуть всё
Open course index
Open block drawer
Automaty a gramatiky
Prostorová složitost
Prostorová složitost
Section outline
◄
Časová složitost
►
Archiv testů
Select activity Nové nahrávky posledních přednášek
Nové nahrávky posledních přednášek
Гиперссылка
Select activity Slajdy
Slajdy
Файл
◄
Časová složitost
Перейти на...
Главная страница курса
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
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
Archiv testů
Cvičení P. Gregor
►
Archiv testů