Teoretická informatika: Regulární jazyky II
Автор: Tomáš Kocourek
Загружено: 2023-10-13
Просмотров: 3410
Regulární jazyky II. Komplikovanější příklad na Pumping lemma o regulárních jazycích. Myhill-Nerodova věta, důkazy regularity a neregularity. Uzávěrové vlastnosti regulárních jazyků, tvrzení o regulárních jazycích a důkazy jejich pravdivosti, případně nepravdivosti. Rozhodnutelné problémy regulárních jazyků. Mohutnost třídy regulárních jazyků.
0:00:00 - Předehra
0:01:30 - Úvod
0:03:43 - Pumping lemma pro regulární jazyky - komplikovanější příklad
0:24:44 - Myhill-Nerodova věta - vysvětlení
1:37:39 - Myhill-Nerodova věta - důkaz regularity
1:51:30 - Myhill-Nerodova věta - důkaz neregularity
2:08:33 - Uzávěrové vlastnosti regulárních jazyků
2:25:41 - Dokazování tvrzení o regulárních jazycích
3:59:13 - Rozhodnutelné problémy regulárních jazyků
4:21:39 - Mohutnost třídy regulárních jazyků
4:34:23 - Závěr
4:35:25 - Dohra
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: