Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
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
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Obecná znalost formálních modelů pro překlad a jejich aplikací.
Prerekvizity
Plánované vzdělávací činnosti a výukové metody
Způsob a kritéria hodnocení
Osnovy výuky
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
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ý
Přednáška
Vyučující / Lektor
Osnova
Projekt