Detail předmětu

Výstavba překladačů (v angličtině)

FIT-VYPeAk. rok: 2013/2014

Předmět diskutuje pokročilá a doplňující témata týkající se konstrukce překladačů, která svou náročností překračují bakalářskou úroveň. Tato diskuse se bude soustředit na následující tři okruhy: (I) Pokročilá témata konstrukce klasických kompilátoru: konstrukce LR rozkladových tabulek, precedenční analýza vyššího řádu, důležité metody syntaktické analýzy s návraty, pokročilé metody optimalizace. (II) Principy paralelních kompilátorů: struktura paralelního překladače, fundamentální metody paralelní syntaktické analýzy, základní modely pro paralelní překlad. (III) Formální překladové modely a jejich vlastnosti: převodníky, překladové gramatiky, vlastnosti syntaxí řízených překladů (charakterizující jazyky, nekonečná hierarchie překladů apod.), vlastnosti formálních jazyků relevantní pro překladače, moderní formální modely pro překlad.

Jazyk výuky

angličtina

Počet kreditů

5

Garant předmětu

prof. RNDr. Alexandr Meduna, CSc.

Zajišťuje ústav

Ústav informačních systémů (UIFS)

Výsledky učení předmětu

Schopnost sestrojit náročný překladač, včetně moderního paralelního kompilátoru. Hluboká obeznámenost s formálními překladovými modely a jejich vlastnostmi.

Obecná znalost formálních modelů pro překlad a jejich aplikací.

Prerekvizity

Nejsou žádné prerekvizity.

Plánované vzdělávací činnosti a výukové metody

Výuka předmětu je realizována formou: Přednáška - 3 vyučovací hodiny týdně, Projekty - 1 vyučovací hodina týdně.

Způsob a kritéria hodnocení

Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.

Osnovy výuky

  • Úvod: zopakování struktury překladače.
  • Deterministická syntaktická analýza zdola nahoru: konstrukce LR rozkladových tabulek.
  • Deterministická syntaktická analýza zdola nahoru: precedenční analýza vyššího řádu.
  • Obecná syntaktická analýza: důležité metody syntaktické analýzy s návraty.
  • Pokročilé metody optimalizace.
  • Paralelní kompilátory: struktura paralelního překladače.
  • Paralelní syntaktická analýza: principy.
  • Deterministická paralelní syntaktická analýza shora dolů.
  • Deterministická paralelní syntaktická analýza zdola nahoru.
  • Generování paralelního kódu.
  • Moderní formální prostředky pro specifikaci jazyka: řízené a paralelní modely.
  • Formální prostředky pro specifikaci překladu: převodníky a překladové gramatiky.
  • Očekávané budoucí trendy, shrnutí.

Učební cíle

Detailně objasnit konstrukci překladačů, včetně moderních paralelních kompilátorů. Podrobně se seznámit s formálními překladovými modely a jejich vlastnostmi.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Písemná zkouška, vytvoření projektu.

Základní literatura

Cooper, K.D. : Engineering a Compiler, San Francisco, Morgan Kaufmann, 2004, 879 p., ISBN 155860698X 

Doporučená literatura

Češka, M., Ježek, K., Melichar, B., Richta, K.: Konstrukce překladačů, Praha, CZ, ČVUT, 1999, 636 p., ISBN 80-01-02028-2 (in Czech)

Zařazení předmětu ve studijních plánech

  • Program IT-MGR-2 magisterský navazující

    obor MBI , 0 ročník, zimní semestr, volitelný
    obor MBS , 0 ročník, zimní semestr, volitelný
    obor MGM , 0 ročník, zimní semestr, volitelný
    obor MIN , 0 ročník, zimní semestr, volitelný
    obor MIS , 0 ročník, zimní semestr, povinně volitelný
    obor MMI , 0 ročník, zimní semestr, volitelný
    obor MMM , 0 ročník, zimní semestr, povinný
    obor MPV , 0 ročník, zimní semestr, volitelný
    obor MSK , 0 ročník, zimní semestr, volitelný

Typ (způsob) výuky

 

Přednáška

39 hod., nepovinná

Vyučující / Lektor

prof. RNDr. Alexandr Meduna, CSc.

Osnova

  • Úvod: zopakování struktury překladače.
  • Deterministická syntaktická analýza zdola nahoru: konstrukce LR rozkladových tabulek.
  • Deterministická syntaktická analýza zdola nahoru: precedenční analýza vyššího řádu.
  • Obecná syntaktická analýza: důležité metody syntaktické analýzy s návraty.
  • Pokročilé metody optimalizace.
  • Paralelní kompilátory: struktura paralelního překladače.
  • Paralelní syntaktická analýza: principy.
  • Deterministická paralelní syntaktická analýza shora dolů.
  • Deterministická paralelní syntaktická analýza zdola nahoru.
  • Generování paralelního kódu.
  • Moderní formální prostředky pro specifikaci jazyka: řízené a paralelní modely.
  • Formální prostředky pro specifikaci překladu: převodníky a překladové gramatiky.
  • Očekávané budoucí trendy, shrnutí.

Projekt

13 hod., nepovinná

Vyučující / Lektor

prof. RNDr. Alexandr Meduna, CSc.