I005 Formální jazyky a automaty I
Fakulta informatikyjaro 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í), prof. RNDr. Ivana Černá, CSc. (zástupce)
prof. RNDr. Ivana Černá, CSc. (cvičí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
- 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
- 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 a závěrečná písemná zkouška.
- 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.
- Statistika zápisu (jaro 2000, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2000/I005