I052 Vybrané kapitoly z teorie jazyků

Fakulta informatiky
léto 1997
Rozsah
2/0. 2 kr. Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučující
prof. RNDr. Branislav Rovan, Ph.D. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Branislav Rovan, Ph.D.
Předpoklady
Nutno absolvovat I005 Formální jazyky a automaty I, I006 Formální jazyky a automaty II
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
Osnova
  • Abstraktne triedy jazykov a automatov: definícia tried jazykov pomocou ich uzáverových vlastností, vzájomne vzťahy medzi operáciami nad jazykmi, vlastnosti triedy jazykov plynúce z vlastností triedy automatov, operácie nad automatmi a ich dôsledok na popisované jazyky, triedy jazykov generovaťelné z jednoho prvku.
  • Zovšeobecnenia gramatík: gramatiky s riadeným odvodením, biologicky motivované triedy gramatík, generatívne systémy, paralelne generovanie jazykov, zložitosť gramatík a jazykov.
Předmět je zařazen také v obdobích jaro 1999, jaro 2001.