Předmět Překladače 1 (KMI / PRKL1)

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 KMI / PRKL1 - Překladače 1, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).

Materiál	Typ	Datum	Počet stažení

Obsah

Kurs studenty seznamuje se základními výsledky a metodami teorie překladačů s důrazem na proces, jakým probíhá překlad ze zdrojového do cílového jazyka. Probírané partie zahrnují pokročilé vlastnosti bezkontextových jazyků a deterministickou syntaktickou analýzu. Studneti jsou dále seznámeni s technikami sémantické analýzy, vytváření interních forem a základními metodami překladu. Základní struktura překladače. Fáze analýzy a syntézy překladu. Lexikální analýza, její úloha a konstrukce lexikálního analyzátoru.Bezkontextové jazyky a jejich vlastnosti. Normální formy GNF a CNF. Uzávěrové vlastnosti bezkontextových jazyků. Pumping lemma pro bezkontextové jazyky. Deterministické zásobníkové automaty. Deterministická syntaktická analýza, množiny First a Follow.Syntaktická analýza shora-dolů, gramatiky LL(1). Konstrukce syntaktického analyzátoru metodou rekurzivního sestupu.Syntaktická analýza zdola-nahoru. Konstrukce syntaktického analyzátoru pro gramatiky SLR(1), LR(0), LALR(1) a LR(1). Syntaktické chyby při překladu, jejich ošetření a zotavení z chyb při syntaktické analýze. Nástroje pro generování lexikálních a syntaktických analyzátorů (lex, yacc). Sémantická analýza. Atributové gramatiky a jejich specifické typy pro analýzu shora-dolů a analýzu zdola-nahoru. Interní formy programu. Překlad základních příkazů programovacích jazyků do interní formy. Tabulky symbolů a prostředí programu. Úvod do generování kódu.

Získané způsobilosti

Analyza syntaxe a sémantiky jazyka a návrh překladače.

Literatura

Muchnick, S.-S. Advanced Compiler Design and Implementation. Morgan Kaufmann Publisher, 1997. ISBN 978-1558603202.Reinhard W., Maurer D. Compiler Design. Addison-Wesley, 1995. ISBN 978-0201422900.Aho A.-V., Lam M.-S., Sethi R., Ullman J.-D. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2006. ISBN 978-0321486813.Melichar, B., Češka M., Ježek K., Richta K. Konstrukce překladačů. Vydavatelství ČVUT. ISBN 80-01-02028-2.Grune D., Jacobs C.-J.-H. Parsing techniques: A practical Guide. Springer, 2009. ISBN 978-1441919014.

Požadavky

Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.

Garant

doc. RNDr. Vilém Vychodil, Ph.D.

Vyučující

RNDr. Arnošt Večerkadoc. RNDr. Vilém Vychodil, Ph.D.RNDr. Arnošt Večerkadoc. RNDr. Vilém Vychodil, Ph.D.