I005 Formální jazyky a automaty I

Fakulta informatiky
léto 1997
Rozsah
3/1. 4 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
Doporučeno absolvovat I000 Úvod do informatiky a M005 Základy matematiky
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
  • Pojem jazyka a gramatiky. Chomského hierarchie.
  • Konečné automaty a regulární gramatiky.
  • Vlastnosti regulárních jazyků.
  • Bezkontextové gramatiky a zásobníkové automaty.
  • Vlastnosti bezkontextových jazyků.
  • Deterministické zásobníkové automaty.
  • Turingovy stroje. Vyčíslitelné jazyky a funkce.
  • Nerozhodnutelnost, (parciální) rozhodnutelnost. Problém zastavení TS.
  • Postův korespondenční problém. Algoritmicky nerozhodnutelné problémy z teorie jazyků.
Předmět je zařazen také v obdobích léto 1995, zima 1995, léto 1996, léto 1998, jaro 1999, jaro 2000, jaro 2001, jaro 2002.