I505 Formální jazyky a automaty I

Fakulta informatiky
jaro 2000
Rozsah
3/2. 5 kr. (plus ukončení). 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
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Předpoklady
I000 Úvod do informatiky &&( M005 Základy matematiky || M036 Úvod do diskr. 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ů.
Literatura
  • I.Černá, M.Křetínský, A.Kučera: FJA I, interní materiál FI MU
  • GRUSKA, Jozef. Foundations of computing. London: International Thompson Computer Press, 1997, xv, 716 s. ISBN 1-85032-243-0. info
  • HOPCROFT, John E. a Jeffrey D. ULLMAN. Introduction to automata theory, languages, and computation. Reading: Addison-Wesley Publishing Company, 1979, 418 s., ob. ISBN 0-201-02988-X. info
  • CHYTIL, Michal. Automaty a gramatiky. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1984, 331 s. URL info
  • KOZEN, Dexter C. Automata and computability. New York: Springer, 1997, xiii, 400. ISBN 0387949070. info
Metody hodnocení
2 písemné zkoušky během semestru, kdy je povoleno použití vlastních materiálů (knihy, poznámky z přednášek a cvičení). Závěrečná písemná zkouška je bez povolení takových materiálů.
Navazující předměty
Informace učitele
http://www.fi.muni.cz/usr/kretinsky/fja1.html
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 2001, jaro 2002.