Vyučující
|
-
Benedikovič Miroslav, RNDr.
|
Obsah předmětu
|
Pojem jazyka a gramatiky. Chomského klasifikace gramatik a hierarchie jazyků. Konečné automaty a regulární gramatiky - vzájemné vztahy. Vlastnosti regulárních jazyků. Regulární výraz. Vyhledávání lexém, použití tabulky symbolů (binární strom, hashovaní) Derivační stromy. Konečný stavový automat, stavba scanneru. Bezkontextové gramatiky a zásobníkové automaty - vzájemné vztahy. Vlastnosti bezkontextových jazyků. Strom odvození. Jednoduché precedenční gramatiky. LL a LR jazyky a jejich vlastnosti. LL(1) jazyk, odstranění přímé levé rekurze a levá faktorizace. Výpočet množin FIRST a FOLLOW. Deterministické zásobníkové automaty. Stavba parseru. Syntaktická analýza deklarací, výrazů, programu a rutin. Sémantická analýza programu. Cílový jazyk, interpretace, vytváření cílového kódu.
|
Studijní aktivity a metody výuky
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Metody samostatných akcí
|
Výstupy z učení
|
Seznámit studenty se základy teorie jazyků a gramatik. Tato teorie se využívá pro vytváření kompilátorů a analyzátorů textů zapsaných ve zdrojovém kódu. Dalším cílem je, sestavením konkrétního jednoduchého analyzátoru vysvětlit metodiku tvorby kompilátoru.
Student se naučí vytvářet kompilátory a analyzátory textů zapsaných ve zdrojovém kódu.
|
Předpoklady
|
nespecifikováno
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Posouzení zadané práce
Podmínkou k udělení zápočtu je úspěšné zpracování semestrálních prací (zpracování zadané aplikace-kompilátoru).
|
Doporučená literatura
|
-
Aho, A. V., Sethi, R., Ullmann, J. D. Compilers, Principles, Techniques, and Tools. Berkley: Addison-Wesley Publishing Company, 2006. ISBN 978-0321486813.
-
Hopcroft, J. E., Ullmann, J. D. Formální jazyky a automaty. ALFA, Bratislava, 1978.
-
Louden, Keneth C.. Compiler Construction - Principles and Praktice. Boston, PWS Publishing Comp., 1997.
-
Mak, R. Writing Compilers & Interpreters. New York, John Wiley & Sons, 1991. ISBN 0-471-50968-X.
-
Melichar, B. Gramatiky, automaty. ČVUT Praha, skriptum, 1978.
|