I006 Formální jazyky a automaty II

Fakulta informatiky
zima 1995
Rozsah
0/0. 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.
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
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.
Předmět je zařazen také v obdobích zima 1996, zima 1997, podzim 1998, podzim 1999, podzim 2000, podzim 2001.