Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Kalendář
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Automaty a gramatiky
Problém zastavení, PCP, (Ne)rozhodnutelné problémy o CFG
Slajdy Nerozhodnutelné problémy
Slajdy Nerozhodnutelné problémy
Požadavky na absolvování
Klikněte na odkaz
automaty11.pdf
pro zobrazení souboru.
◄ Slajdy 26.4.26
Přejít na aktivitu
Přejít na aktivitu
Textová verze slajdů
Seznam nejdůležitějších definic, vět, algoritmů a obrázky
Požadavky ke zkoušce
Oznámení
Diskuse o všem
Videozáznamy přednášky 2019
Opakovací test (nepovinné)
Python knihovny
Letošní přednášky
23.3. Slajdy - Iterační lemma pro bezkontextové gramatiky
30.4. slajdy (snad psaní na tabuli)
Slajdy Turingovy stroje 20.4.2026
Slajdy 17.5.2025
cviceni_1
cviceni_2
cviceni_3
cviceni_4
cviceni_5
cviceni_6
cviceni_7
cviceni_8
cviceni_9
cviceni_10
cviceni_11
požiadavky_zápočtový_test
vzorový zápočtový test (prevzaté od p. doktorky Vomlelovej)
civceni_12
výsledky_písomka_06_05
výsledky_písomka_14_05
Cvičení V. Majerech
Zadání cvičení (všech v jednom souboru)
Demo zápočtové písemky
Zadání cvičení (starší verze)
Cvičení 27.3.2026 (Mírně změněné cvič. 8 výše)
Zadání cvičení včetně některých řešení
Vypracujte vzorový test
Python knihovna automata-lib
Python knihovna ast
Dnešní slajdy
Konečné automaty, PL pro regulární jazyky
Slajdy 2 Iterační lemma, Ekvivalentní stavy, Redukce automatu, nedeterministické FA
λ-NFA, operace nad regulárními jazyky
Slajdy 3.přednásky
Aktualizovaný textový soubor
Slajdy 4.přednásky
Prezentace rozlozena 4
Kleene
Python notebook testující regulární výrazy
Kleene, uzávěrové vlastnosti
Gramatiky obecně, bezkontextové a regulární
Úvod do gramatik
Pumping lemma pro bezkontextové gramatiky, Chomského normální forma bezkontextové gramatiky (kopie)
Slajdy ChNF 6. přednáška
Příklad převodu Lineárně omezeného automatu na monotónní gramatiku
Zásobníkové automaty úvod
CYK, Uzávěrové vlastnosti, Determinizmus
Slajdy: Deterministické PDA, uzávěrové vlastnosti
Kontextové gramatiky, Lineárně omezené automaty
Slajdy k přednášce
Slajdy 2025
Slajdy 26.4.26
Slajdy
Nové nahrávky posledních přednášek
Slajdy
Test 19.6. (pro zkoušku 20.6.)
Test 15.6. (pro zkoušku 16.6.)
Test 12.6. (pro zkoušku 13.6.)
Test 6.6. (pro zkoušku 7.6.)
Individuální. Po dohodě.
Test 30.5. (pro zkoušku 31.5.)
Test 29.5. (pro zkoušku 30.5.)
Test 24.5. (pro termín 25.5.)
Test 22.5. (pro termín 23.5.)
Test 17.5., ke zkoušce 18.5.
Test 24.5. (pro termín 25.5.) (kopie)
Test 6.6. (pro zkoušku 7.6.) (kopie)
Test 27.6. (pro zkoušku 28.6.)
Nevstupovat. Náhodný test pro případ, že bych zapomněla zadat test na konkrétní termín.
Test 19.9. (pro zkoušku 20.9.)
Komplet náhodných kategorií
link na cvičení P. Gregora (procvičované příklady)
Slajdy ►