UIDI003 Formální jazyky, generativní systémy a automaty

Filozoficko-přírodovědecká fakulta v Opavě
zima 2021
Rozsah
0/0/0. 0 kr. Ukončení: dzk.
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Předmět je zaměřen na problematiku teorie formálních jazyků, generativních prostředků této teorie, jako jsou gramatiky a gramatické systémy a akceptačních prostředků ve formě automatů. Předpokládá se zvládnutí klasické teorie formálních jazyků, která vychází z reprezentace jazyka jediným prostředkem (gramatikou, automatem) včetně paralelních a řízených přístupů. Důraz bude kladen na současné trendy zaměřené na formální modely multiagentových systémů zejména gramatické systémy a na netradiční výpočetní architektury, které na základě gramatických systémů vznikly. Odborná literatura: 1. Csuhaj-Varjú. E., Dassow, J., Kelemen, J., Paun, Gh.: Grammar Systems. Gordon and Breach, Yverdon, 1994 2. Gruska, J.: Foundations of Computing. Intern. Thomson Computer Press, London, 1997 3. Meduna, A.: Automata and Formal Languages - Theory and Applications. Springer, London, 2000 4. Paun, Gh., Salomaa, A. (eds.): Grammatical Models of Multi-Agents Systems. Gordon and Breach, Amsterdam, 1999 5. Rozenberg, G., Salomaa, A., eds.: Handbook of Formal Languages. Spriger Verlag, Berlin, 1997
Výukové metody
Přednáška s aktivizací
Přednáška s analýzou videozáznamu
Metody hodnocení
Zkouška
Informace učitele
Teoretické a praktické zvládnutí témat předmětu, podmínky budou upřesněny na začátku výuky.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích zima 2006, léto 2007, zima 2007, léto 2008, zima 2008, léto 2009, zima 2009, léto 2010, zima 2010, léto 2011, zima 2011, léto 2012, zima 2012, léto 2013, zima 2013, léto 2014, zima 2014, léto 2015, zima 2015, léto 2016, zima 2016, léto 2017, zima 2017, léto 2018, zima 2018, léto 2019, zima 2019, léto 2020, zima 2020, léto 2021, léto 2022.