Перейти к основному содержанию
Боковая панель
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
Общее
Общее
Section outline
►
Obecné
Select section Общее
Select activity Obecné
Obecné
Форум
Отслеживание выполнения
Students must
Mark as done
Základní prostor pro diskusi.
Перейти на...
Главная страница курса
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
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
Časová a prostorová složitost
Archiv testů
Cvičení P. Gregor
►
Obecné