Univerzita Palackého v Olomouci
Studijní programy a katalog předmětů
pro akademický rok 2024/2025
Univerzita Palackého v Olomouci
English
Hledání

Předmět: Vybrané kapitoly z teorie automatů

» Seznam fakult » PRF » KMI
Název předmětu Vybrané kapitoly z teorie automatů
Kód předmětu KMI/PGSVK
Organizační forma výuky Konzultace
Úroveň předmětu Doktorský
Rok studia nespecifikován
Semestr Zimní a letní
Počet ECTS kreditů 5
Vyučovací jazyk Čeština, Angličtina
Statut předmětu nespecifikováno
Způsob výuky Kontaktní
Studijní praxe Nejedná se o pracovní stáž
Doporučené volitelné součásti programu Není
Vyučující
  • Masopust Tomáš, doc. RNDr. Ph.D., DSc.
Obsah předmětu
Obsahem předmětu budou vybrané kapitoly z teorie automatů zahrnující, mimo jiné: - Automaty nad stromy - Automaty nad nekonečnými slovy - Vážené a časované automaty - Transducery - Algebraická teorie automatů

Studijní aktivity a metody výuky
nespecifikováno
Výstupy z učení
Předmět je zaměřen na prohloubení a rozšíření znalostí z teorie automatů.

Předpoklady
nespecifikováno

Hodnoticí metody a kritéria
nespecifikováno
Doporučená literatura
  • Berstel, J. (2007). Transductions and Context-Free Languages. Lecture Notes.
  • Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Löding, C., Tison, S., Tommasi, M. (2008). Tree Automata Techniques and Applications. p.262, hal-03367725.
  • Droste, M., Kuich, W., Vogler, H. (editors). (2009). Handbook of Weighted Automata. EATCS Series.
  • Esparza, J. (2017). Automata Theory: An Algorithmic Approach. Lecture Notes, TUM.
  • Leeuwen, J. van (editor). (1991). Handbook of Theoretical Computer Science, Volume B. MIT Press.
  • Pin, J. E. (editor). (2021). Handbook of Automata Theory, Volume I & II. European Mathematical Society.
  • Pin, J. E. (2022). Mathematical Foundations of Automata Theory. Lecture Notes.


Studijní plány, ve kterých se předmět nachází
Fakulta Studijní plán (Verze) Kategorie studijního oboru/specializace Doporučený ročník Doporučený semestr
Univerzita Palackého v Olomouci, data aktuální k: 14.06.2025 23:55. Data byla vytvořena pro akademický rok 2024/2025