Předmět Teorie automatů a formálních jazyků (KMA / P430)
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 KMA / P430 - Teorie automatů a formálních jazyků, Přírodovědecká fakulta, Univerzita Jana Evangelisty Purkyně v Ústí nad Labem (UJEP).
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. Konečné automaty a jejich reprezentace.2. Jazyky rozpoznatelné konečnými automaty.3. Nerodova věta.4. Redukce konečného automatu.5. Převedení konečného automatu na normovaný tvar.6. Nedeterministické konečné automaty.7. Uzávěrové vlastnosti.8. Regulární jazyky a regulární výrazy.9. Přepisovací systémy.102. Gramatiky.10. Chomského rozdělení gramatik.11. Regulární gramatiky a jazyky.12. Redukované gramatiky.13. Kanonické derivace a derivační stromy.14. Zásobníkové automaty.15. Základní metody syntaktické analýzy.16. Turingovy stroje.17. Algoritmicky neřešitelné problémy
Literatura
MEDUNA A. Automata and Languages. Springer, 2000. Chytil, M. Automaty a gramatiky, SNTL Praha, 1984. Hopocroft, J., Ulman, J. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 1979. HOPOCROFT J., ULMAN J. Formálne jazyky a automaty. ALFA Bratislava, 1978. KOLÁŘ J., ŠTĚPÁNKOVÁ O., CHYTIL M. Logika, algebry a grafy. SNTL Praha, 1989. CHYTIL M. Teorie automatů a formálních jazyků. (Skripta), SPN Praha, 197.
Garant
doc. RNDr. Karel Oliva, Ph.D.