Перейти к основному содержанию
Боковая панель
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
Redukce a ekvivalence automatů
Redukce a ekvivalence automatů
Section outline
◄
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
►
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky
Select activity Slajdy 2 Iterační lemma, Ekvivalentní stavy, Redukce automatu, nedeterministické FA
Slajdy 2 Iterační lemma, Ekvivalentní stavy, Redukce automatu, nedeterministické FA
Файл
Отслеживание выполнения
Students must
Mark as done
Select activity K videopřednášce: 26:37 'první dvě části xy', n...
K videopřednášce:
26:37 'první dvě části xy', ne 'první dvě části xz',
naopak 1:1730-1:19:15 zbytečně zmatkuji.
◄
Konečné automaty, regulární jazyky, Iterační (pumping) lemma
Перейти на...
Главная страница курса
Общее
Cvičení J. Bulín
Cvičení T. Čelko
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
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
Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)
Diagonální jazyk, Univerzální TM
Problém zastavení, PCP, (Ne)rozhodnutelné problémy o CFG
Časová složitost
Prostorová složitost
Archiv testů
Cvičení P. Gregor
►
nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky