FPF:UIINK11 Teorie jazyků a automatů I - Informace o předmětu
UIINK11 Teorie jazyků a automatů I
Filozoficko-přírodovědecká fakulta v Opavěléto 2024
- Rozsah
- Přednáška 14 HOD/SEM. 6 kr. Ukončení: zk.
- Vyučující
- doc. RNDr. Lucie Ciencialová, Ph.D. (přednášejí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 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.–5. Konečné automaty.
- 6. Uzávěrové vlastnosti regulárních jazyků.
- 7.–8. Kritéria regulárnosti jazyka.
- 9. Chomského hierarchie jazyků.
- 10.–11. Regulární gramatiky a jejich vztah ke konečným automatům.
- 12.–13. Bezkontextové gramatiky, jejich varianty a vlastnosti.
- Literatura
- povinná literatura
- CIENCIALOVÁ, Lucie. Teoretické základy informatiky. Opava: Slezská univerzita v Opavě, 2014. ISBN 978-80-7510-130-3. 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, 2017. ISBN 978-1-284-07724-7. info
- MEDUNA, Alexander a Petr ZEMEK. Regulated grammars and automata. New York: Springer, 2014. ISBN 978-1-4939-0368-9. 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
- Další komentáře
- Studijní materiály
Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2024/UIINK11