UIINP11 Teorie jazyků a automatů I

Filozoficko-přírodovědecká fakulta v Opavě
léto 2021
Rozsah
2/2/0. 6 kr. Ukončení: zk.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
Mgr. Ondřej Mazurek (cvičící)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Rozvrh
Út 8:05–9:40 B2
  • Rozvrh seminárních/paralelních skupin:
UIINP11/A: Čt 13:55–15:30 B3a, O. Mazurek
Předpoklady
TYP_STUDIA ( B )
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
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.
Výstupy z učení
Student bude po absolvování předmětu schopen: - definovat důležité pojmy teoretické informatiky - používat abstraktní výpočetní modely - aplikovat získané poznatky na konkrétních příkladech.
Osnova
  • 1. Abeceda, formální jazyky, operace s formálními jazyky.
  • 2. Regulární jazyky, regulární výrazy.
  • 3. Konečné automaty.
  • 4. Uzávěrové vlastnosti regulárních jazyků.
  • 5. Chomského hierarchie jazyků.
  • 6. Regulární gramatiky a jejich vztah ke konečným automatům.
  • 7. Bezkontextové gramatiky, jejich varianty a vlastnosti.
  • 8. Zásobníkové automaty.
Literatura
    povinná literatura
  • CIENCIALOVÁ, Lucie. Teoretické základy informatiky. Opava: Slezská univerzita v Opavě. ISBN 978-80-7510-130-3. 2014. info
  • VAVREČKOVÁ, Šárka. Teorie jazyků a automatů I. Opava: Slezská univerzita v Opavě, 2017.
    doporučená literatura
  • LINZ, Peter. An introduction to formal languages and automata. Sixth edition. Burlington, MA: Jones. ISBN 978-1-284-07724-7. 2017. info
  • MEDUNA, Alexander a Petr ZEMEK. Regulated grammars and automata. New York: Springer. ISBN 978-1-4939-0368-9. 2014. info
  • Hopcroft, J. E., Motwani, R., Ullman, J. D. Introduction to Automata Theory, Languages and Computation. Upper Saddle River: Pearson Education Inc.,, 2003. info
  • ČERNÁ, I, M KŘETÍNSKÝ a A KUČERA. Automaty a formální jazyky I. Brno: FI MU, 2002. info
  • MEDUNA, A. Automata and Languages: Theory and Applications. Springer, London, 2000. info
Výukové metody
Přednáška s aktivizací
Přednáška s diskusí
Metody hodnocení
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
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích léto 2020, léto 2022, léto 2023, léto 2024.