UIBUC09 Teorie jazyků a automatů II

Filozoficko-přírodovědecká fakulta v Opavě
zima 2015
Rozsah
2/2/0. 5 kr. Ukončení: zk.
Vyučující
prof. RNDr. Alice Kelemenová, CSc. (přednášející)
RNDr. Šárka Vavrečková, Ph.D. (cvičící)
Garance
prof. RNDr. Alice Kelemenová, CSc.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Předpoklady
UIAI012 Zákl. teoretické informatiky I || UIAI212 Základy teoretické informatiky || UIBUC56 Teorie jazyků a automatů I || UINK115 Teorie jazyků a automatů I || UIN1105 Teorie jazyků a automatů I
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řecházíme ke složitějším teoretickým modelům struktur a postupů, tedy zásobníkovým automatům, Turingovým strojům a složitějším formám gramatik. Ke konci kurzu se studenti seznámí také s paralelními systémy včetně jejich praktického použití. Obsahová náplň cvičení vychází a časově sleduje obsahovou náplň přednášky.
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 2010, zima 2011, zima 2012, zima 2013, zima 2014, zima 2016, zima 2017, zima 2018, zima 2019, zima 2020, zima 2021.