UIINP11 Teorie jazyků a automatů I

Filozoficko-přírodovědecká fakulta v Opavě
léto 2025
Rozsah
2/2/0. 6 kr. Ukončení: zk.
Vyučující
doc. RNDr. Lucie Ciencialová, Ph.D. (přednášející)
RNDr. Radka Poláková, Ph.D. (cvičící)
Garance
doc. RNDr. Lucie Ciencialová, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě
Rozvrh
Út 18:05–19:40 B4
  • Rozvrh seminárních/paralelních skupin:
UIINP11/A: St 15:35–17:10 H6, R. Poláková
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
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.
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í.
Předmět je zařazen také v obdobích léto 2020, léto 2021, léto 2022, léto 2023, léto 2024.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.slu.cz/predmet/fpf/leto2025/UIINP11