FPF:UINK106 Teorie jazyků a automatů II - Informace o předmětu

UINK106 Teorie jazyků a automatů II

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

• Informatika a výpočetní technika (program FPF, B1801 Inf)

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

Aktivity	Náročnost [h]
Příprava na zápočet	12
Příprava na zkoušku	12
Celkem	24

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (zima 2013, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/zima2013/UINK106