Cvičení

Automaty a gramatiky

 

Úvod | Sylabus | Zdroje | Přednáška | Cvičení | Zkoušky

 

Vyzkoušejte si své znalosti na příkladech.

Cvičení 1 Konstrukce konečných automatů.
Cvičení 2 Nerodova věta, iterační lemma a jejich použití. Ekvivalence stavů.
Cvičení 3 Rozšířené iterační lemma. Redukce automatů a hledání rozlišujících slov
Cvičení 4 Operace s regulárními jazyky.
Cvičení 5 Regulární výrazy a konečné automaty.
Cvičení 6 Dvousměrné automaty. Mealyho a Mooreovy stroje.
Cvičení 7 Úvod do gramatik, pravě lineární gramatiky a konečné automaty.
Cvičení 8 Bezkontextové gramatiky, redukce a derivační stromy.
Cvičení 9 Zásobníkové automaty.
Cvičení 10 Normální tvary BKG a lemma o vkládání.

© 2001 Roman Barták

Automaty a gramatiky