Předmět Teorie formálních jazyků (KI / TFL)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KI / TFL - Teorie formálních jazyků, Přírodovědecká fakulta, Univerzita Jana Evangelisty Purkyně v Ústí nad Labem (UJEP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Přepisovací systémy.2. Gramatiky.3. Chomského rozdělení gramatik.4. Regulární gramatiky a jazyky.5. Redukované gramatiky.6. Kanonické derivace a derivační stromy.7. Zásobníkové automaty.8. Zásobníkové automaty a bezkontextové jazyky.9. Základní metody syntaktické analýzy.10. Turingovy stroje.11. Algoritmicky neřešitelné problémy.12. Stroje RASP
Literatura
Chytil M. Automaty a gramatiky. SNTL, Praha, 1984. Hopocroft J., Ulman J. Introduction to Automata Theory, Languages and Computation. Meduna A. Automata and Languages. Springer, 2000. Hopocroft J., Ulman J. Formálne jazyky a automaty. ALFA Bratislava, 1978. Kolář J., Štěpánková O., Chytil M. Logika, algebry a grafy, SNTL Praha, 1989. Chytil M. Teorie automatů a formálních jazyků. (Skripta), SPN Praha, 1978.
Požadavky
Písemná zkouška s následnou ústní obhajobou.
Garant
Ing. Mgr. Jiří Barilla, CSc.doc. RNDr. Karel Oliva, Ph.D.
Vyučující
Ing. Mgr. Jiří Barilla, CSc.doc. RNDr. Karel Oliva, Ph.D.