Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
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
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
Chomského normální forma, Pumping lemma pro CFG
Slajdy ChNF 6. přednáška
Slajdy ChNF 6. přednáška
Požadavky na absolvování
Klikněte na odkaz
automaty6.pdf
pro zobrazení souboru.
◄ Pumping lemma pro bezkontextové gramatiky, Chomského normální forma bezkontextové gramatiky (kopie)
Přejít na...
Přejít na...
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)
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
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)
Zásobníkové automaty úvod ►