|
Vyučující
|
-
Barilla Jiří, doc. Ing. Mgr. CSc.
-
Oliva Karel, doc. RNDr. Dr.
|
|
Obsah předmětu
|
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
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
Teorie formálních jazyků definuje jazyk jako množinu řetězců. Studuje způsoby, kterými mohou být jazyky generovány (nebo přijímány) stejně jako vztahy mezi těmito mechanismy (např. zda třída jazyků, která může být popsána regulárními výrazy je stejná jako třída jazyků, která může být popsána konečnými automaty).
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
Písemná zkouška s následnou ústní obhajobou.
|
|
Doporučená literatura
|
-
Hopocroft J., Ulman J. Formálne jazyky a automaty. ALFA Bratislava, 1978.
-
Hopocroft J., Ulman J. Introduction to Automata Theory, Languages and Computation,.
-
Chytil M. Automaty a gramatiky. SNTL, Praha, 1984.
-
Chytil M. Teorie automatů a formálních jazyků. (Skripta), SPN Praha, 1978.
-
Kolář J., Štěpánková O., Chytil M. Logika, algebry a grafy, SNTL Praha, 1989.
-
Meduna A. Automata and Languages. Springer, 2000.
|