I005 Formální jazyky a automaty I
Fakulta informatikyjaro 2001
- 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. Jiří Barnat, Ph.D. (cvičící)
Mgr. Radek Czerný (cvičící)
prof. RNDr. Ivana Černá, CSc. (cvičící)
Mgr. BcA. Robert Král, Ph.D. (cvičící)
Mgr. Pavel Krčál (cvičící)
Mgr. Jaroslav Műller (cvičící)
Mgr. Miloslav Nepil, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
doc. Mgr. Radek Pelánek, Ph.D. (cvičící)
RNDr. Jaroslav Ráček, Ph.D. (cvičící)
Roman Rožník (cvičící)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
Mgr. Radek Sedláček, Ph.D. (cvičící)
Mgr. Oldřich Stražovský (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. - Rozvrh
- Čt 9:00–10:50 B007
- Rozvrh seminárních/paralelních skupin:
I005/FaSt: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/FEIVUT: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/D1: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/D2: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/P1_po: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/P2_Str: Rozvrh nebyl do ISu vložen. M. Křetínský
I005/S1: Po 12:00–14:50 D1, Čt 11:00–12:50 B003, V. Řehák
I005/S10: Čt 14:00–15:50 B007, J. Barnat
I005/S11: Čt 14:00–15:50 B011, J. Ráček
I005/S12: Čt 16:00–17:50 B007, J. Barnat
I005/S13: Čt 16:00–17:50 B011, J. Ráček
I005/S14: Čt 18:00–19:50 B003, M. Nepil
I005/S15: Čt 18:00–19:50 B007, R. Král
I005/S16: Čt 18:00–19:50 B011, R. Czerný
I005/S17: Pá 9:00–10:50 B410, O. Stražovský
I005/S18: Pá 11:00–12:50 B410, O. Stražovský
I005/S2: St 15:00–17:50 D1, Čt 7:00–8:50 B003, R. Pelánek
I005/S3: Čt 7:00–8:50 B007, J. Műller
I005/S4: Čt 7:00–8:50 B011, V. Řehák
I005/S5: Čt 9:00–10:50 B003, R. Sedláček
I005/S6_A: Rozvrh nebyl do ISu vložen. I. Černá
I005/S7: Čt 11:00–12:50 B007, P. Krčál
I005/S8: Čt 11:00–12:50 B011, R. Rožník
I005/S9: Čt 14:00–15:50 B003, J. Obdržálek - Předpoklady
- I000 Úvod do informatiky && ( M005 Základy matematiky || M036 Úvod do diskr. matematiky || PřF:M3510 Algebra 3 ) && NOW( I505 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
- 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ě.
- Statistika zápisu (jaro 2001, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2001/I005