UINK106 Teorie jazyků a automatů II

Filozoficko-přírodovědecká fakulta v Opavě
zima 2014
Rozsah
2/2/0. 6 kr. Ukončení: zk.
Vyučující
prof. RNDr. Alice Kelemenová, CSc. (přednášející)
RNDr. Šárka Vavrečková, Ph.D. (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
( UINK105 Teorie jazyků a automatů I || UINK115 Teorie jazyků a automatů I || UIN1105 Teorie jazyků a automatů I ) && ( 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.
Osnova
  • Kritéria bezkontextovosti.
    Zásobníkové automaty, varianty, typy akceptování.
    Uzávěrové vlastnosti bezkontextových jazyků.
    Gramatiky typu 0, Turingovy stroje.
    Gramatiky typu 1, Lineárně ohraničené automaty.
    Módy odvození, paralelismus.
    L-systémy, maticové gramatiky, gramatické systémy, kolonie.
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu
Metody hodnocení
Písemná zkouška
Informace učitele
AktivityNáročnost [h]
Příprava na zápočet12
Příprava na zkoušku12
Celkem24
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 2009, zima 2010, zima 2011, zima 2012, zima 2013, zima 2015, zima 2016, zima 2017, zima 2018, zima 2019, zima 2020, zima 2021, zima 2022.