FPF:UINK115 Teorie jazyků a automatů I - Informace o předmětu
UINK115 Teorie jazyků a automatů I
Filozoficko-přírodovědecká fakulta v Opavěléto 2021
- Rozsah
- 6/6/0. Přednáška 6 HOD/SEM, Cvičení 6 HOD/SEM. 6 kr. Ukončení: zk.
- Vyučující
- doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
doc. RNDr. Lucie Ciencialová, Ph.D. (cvičící) - Garance
- doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - 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 a výpočetní technika (program FPF, B1801 Inf)
- Cíle předmětu
- V tomto kurzu se zabýváme především teoretickými základy metod požívaných pro modelování struktur a postupů, tedy konečnými automaty, regulárními jazyky, regulárními výrazy a bezkontextovými gramatikami. Na teoretický základ navazují také příklady využití v praxi. Obsahová náplň cvičení vychází a časově sleduje obsahovou náplň přednášek.
- Osnova
- Abeceda, formální jazyky, operace s formálními jazyky.
Konečný automat.
Regulární jazyky, Pumping lemma pro regulární jazyky, regulární výrazy, regulární gramatiky.
Uzávěrové vlastnosti regulárních jazyků.
Chomského hierarchie jazyků.
Bezkontextové gramatiky, jejich varianty a vlastnosti.
- Abeceda, formální jazyky, operace s formálními jazyky.
- Literatura
- doporučená literatura
- GRUSKA, J. Foundations of Computing. London: International Thomson Computer Press, 1997. info
- DEMLOVÁ, M. - KOUBEK, V. Algebraická teorie automatů. Praha: SNTL, 1990. info
- MOLNÁR, Ľ. - ČEŠKA, M. - MELICHAR, B. Gramatiky a jazyky. Bratislava: Alfa, 1987. info
- MEDUNA, A. MEDUNA, A. Gramatiky, automaty a kompilátory. Brno: VUT, 1987. info
- HOPCROFT, J. E. - ULLMAN, J. D. Teória jazykov a automatov. Bratislava: Alfa, 1987. info
- CHYTIL, M. Automaty a gramatiky. Praha: SNTL, 1984. info
- Výukové metody
- Přednáška s aktivizací
Přednáška s diskusí
Přednáška s analýzou videozáznamu - Metody hodnocení
- Písemná zkouška
Zkouška - Informace učitele
- Teoretické a praktické zvládnutí témat předmětu.
Zápočet: dvě písemky, účast na cvičeních min. 75 %.
Zkouška: písemná a ústní část, seznam možných otázek na webu vyučujícího.Aktivity Náročnost [h] Domácí příprava na výuku 30 Přednáška 6 Příprava na zápočet 20 Příprava na zkoušku 20 Celkem 76 - Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (léto 2021, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2021/UINK115