Skip to main content
Side panel
DL 1
Home
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
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Automaty a gramatiky
Prostorová složitost
Nové nahrávky posledních přednášek
Nové nahrávky posledních přednášek
Completion requirements
Click on
Nové nahrávky posledních přednášek
to open the resource.
◄ Slajdy
Jump to...
Jump to...
Diskuse o všem
Oznámení
Slajdy před začátkem semestru
Slajdy 30.4.
Seznam nejdůležitějších definic, vět, algoritmů a obrázky
Požadavky ke zkoušce
Zapište se do své skupiny
Videozáznamy přednášky 2019
Letošní -neupravené- videozáznamy
Opakovací test (nepovinné)
Příklady na cvičení (aktualizace 13.2.2025)
Python knihovny
Cvičení V. Majerech
Konečné automaty, PL pro regulární jazyky
Slajdy 1
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
Konečné automaty: dodatky
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
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 Nerozhodnutelné problémy
Slajdy
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 ►