Předmět Automaty a jazyky II (KAG / AAJ5)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KAG / AAJ5 - Automaty a jazyky II, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Gramatiky, jazyk generovaný gramatikou.2. Chomského hierarchie.3. Regulární gramatiky a regulární jazyky, lineární gramatiky.4. Bezkontextové gramatiky, redukovaná bezkontextová gramatika.5. Zásobníkové automaty.6. Jazyk rozpoznávaný koncovým stavem a prázdným zásobníkem, bezkontextové jazyky.7. Chomského normální forma bezkontextové gramatiky, Pumping Lemma pro bezkontextové jazyky.8. Uzávěrové vlastnosti bezkontextových jazyků.9. Chomského-Schützenbergerova věta.10. Substituce a morfimy.11. Abstraktní třídy jazyků.12. Turingovy stroje.13. Jazyky rozpoznávané Turingovým strojem, rekurzivně spočetné jazyky a jazyky typu 0, rekurzivní jazyky.14. Postův korespondenční problém.
Získané způsobilosti
1. Znalosti Definovat základní pojmy, popsat důležité konstrukce a znát základní věty teorie automatů a formálních jazyků.
Literatura
Chytil M. Automaty a gramatiky. SNTL Praha, 1984. Molnár L., Češka M., Melichar B. Gramatiky a jazyky. Alfa Bratislava, SNTL Praha, 1987. Simovici D. A., Tenney R. L. Theory of Formal Languages with ApplicationsM. Simon. World Scientific, Singapore, 1999.
Požadavky
Zápočet: účast na cvičení, písemka.Zkouška: rozumět problematice, umět dokázat základní trvzení (DAAJ4 + DAAJ5).
Garant
doc. RNDr. Jan Kühr, Ph.D.
Vyučující
doc. RNDr. Jan Kühr, Ph.D.doc. RNDr. Jan Kühr, Ph.D.