FPF:UIN1005 Teorie jazyků a automatů I - Informace o předmětu
UIN1005 Teorie jazyků a automatů I
Filozoficko-přírodovědecká fakulta v Opavěléto 2012
- Rozsah
- 0/0. 4 kr.
- Garance
- RNDr. Šárka Vavrečková, 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.
- 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é jazyky, jejich varianty a vlastnosti.
Normální formy bezkontextových jazyků.
Pumping lemma pro bezkontextové jazyky.
- Abeceda, formální jazyky, operace s formálními jazyky.
- Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (léto 2012, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2012/UIN1005