Automaty a gramatiky

• Fórum Diskuse o všem
• Fórum Oznámení
• Test Opakovací test (nepovinné)

Konečné automaty, regulární jazyky, Iterační (pumping) lemma

• Test Konečné automaty, PL pro regulární jazyky

Redukce a ekvivalence automatů

• Test 2. přednáška

nedeterminismus, λ-NFA, množinové a řetězcové operace nad jazyky

• Test λ-NFA, operace nad regulárními jazyky

Kleenova věta, regulární výrazy, Homomorfismus, inverzní homomorfismus

• Test Kleene
• Test Kleene, uzávěrové vlastnosti

Příklad na homomorfizmy, Dvousměrné automaty, Mooreův a Mealyho stroj

• Test Konečné automaty: dodatky

Gramatiky, Chomského hierarchie, L3 a FA, lineání gramatiky, CFG

• Test Gramatiky obecně, bezkontextové a regulární

Zásobníkové automaty, přijímání stavem, prázdným zásobníkem, vztah s CFG

• Test Zásobníkové automaty úvod

Deterministické a bezprefixové PDA

• Test CYK, Uzávěrové vlastnosti, Determinizmus

Chomského normální forma, Pumping lemma pro CFG

• Test Pumping lemma pro bezkontextové gramatiky, Chomského normální forma bezkontextové gramatiky (kopie)

Deterministické a nedeterministické Turingovy stroje, Gramatiky Typu 0 (obecné gramatiky)

• Test Kontextové gramatiky, Lineárně omezené automaty

Archiv testů

• Test Test 19.6. (pro zkoušku 20.6.)
• Test Test 15.6. (pro zkoušku 16.6.)
• Test Test 12.6. (pro zkoušku 13.6.)
• Test Test 6.6. (pro zkoušku 7.6.)
• Test Individuální. Po dohodě.
• Test Test 30.5. (pro zkoušku 31.5.)
• Test Test 29.5. (pro zkoušku 30.5.)
• Test Test 24.5. (pro termín 25.5.)
• Test Test 22.5. (pro termín 23.5.)
• Test Test 17.5., ke zkoušce 18.5.
• Test Test 24.5. (pro termín 25.5.) (kopie)
• Test Test 6.6. (pro zkoušku 7.6.) (kopie)
• Test Test 27.6. (pro zkoušku 28.6.)
• Test Nevstupovat. Náhodný test pro případ, že bych zapomněla zadat test na konkrétní termín.
• Test Test 19.9. (pro zkoušku 20.9.)
• Test Komplet náhodných kategorií