Skip to main content
Side panel
DL 1
Home
Calendar
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
DL 1
Home
Calendar
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Automaty a gramatiky
Cvičení T. Čelko
výsledky_písomka_06_05
výsledky_písomka_06_05
Completion requirements
Click
vysledky_pisomka_06_05.pdf
link to view the file.
◄ civceni_12
Jump to activity
Jump to activity
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_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 Nerozhodnutelné problémy
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)
výsledky_písomka_14_05 ►