FI:I006 FJA II - Informace o předmětu

I006 Formální jazyky a automaty II

Rozsah

2/1. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.

Předpoklady

I005 FJA 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 (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

Osnova

• Deterministické bezkontextové jazyky (detCFL).
• Metody syntaktické analýzy detCFL.
• SLL(k) a LL(k) gramatiky a jazyky, jejich vlastnosti a analyzátory.
• LR(k), SLR(k) a LALR(k) gramatiky a jazyky, jejich vlastnosti a analyzátory.
• Vztahy mezi LL, LR a detCFL.
• (Ne)rozhodnutelné problémy z oblasti detCFL.
• Vybrané aplikace (překladače, souběžné procesy -- bisimulace).
• (Ne)rozhodnutelné problémy z oblasti automatů a gramatik vzhledem k bisimulaci.

• Statistika zápisu (zima 1997, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1997/I006