Detail předmětu
Vybraná témata z analýzy a překladu jazyků
APD Ak. rok 2009/2010 zimní semestr
Předmět diskutuje vybraná pokročilá témata z analýzy a překladu jazyků. Soustřeďuje se především na nejmodernější výsledku z této oblasti, přičemž si všímá i témat již známých, ale často opomíjených pro svou náročnost. Detailně je prezentována jak teorie spojená s tématem, tak i praktická programová realizace. Získání a porozumění prezentovaných poznatků je ověřeno zpracováním vlastní tvůrčí tématické práce studenta.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 39 hod. přednášky
- 13 hod. projekty
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Teoretické i praktické znalosti a dovednosti z konstrukce překladačů a analýzy jazyků založené na pokročilých a nových technologiích.
Cíle předmětu
Rozšířit a prohloubit teoretické znalosti z oblasti analýzy a překladu jazyků do oblastí méně známých, nebo zcela opomíjených, nezřídka však založených na výsledcích nedávného výzkumu a poskytujících nové možnosti, a jejich provázání s praktickou realizací programového vybavení pro dané účely.
Požadované prerekvizitní znalosti a dovednosti
formální jazyky a automaty, základy překladačů, teorie grafů, vyčíslitelnost a složitost
Literatura studijní
- Přednášky
- Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Second Edition, Addison Wesley, Pearson, 2007, ISBN 0-321-48681-1.
- Kolář Dušan, Meduna Alexander: Regulated Automata: From Theory towards Applications, In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05, Ostrava, CZ, MARQ, 2005, s. 33-48, ISBN 80-86840-09-3.
- Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, s. 76
Literatura referenční
- Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Addison Wesley, Reading MA, 1986, ISBN 0-201-10194-7.
- Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, Second Edition, Addison Wesley, Pearson, 2007, ISBN 0-321-48681-1.
- Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation, and Compiling, Volume I: Parsing, Prentice-Hall, Inc., 1972, ISBN 0-13-914556-7.
- Aho, A.V., Ullman, J.D.: The Theory of Parsing, Translation,
and Compiling, Volume II: Compiling, Prentice-Hall, Inc., 1972,
ISBN 0-13-914564-8. - Beneš, M., Češka, M., Hruška, T.: Překladače, Technical University of Brno, 1992.
- Meduna, A., Kolář, D.: Regulated Pushdown Automata, Acta
Cybernetica, Vol. 14, pp. 653-664, 2000. - Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, s. 76.
Osnova přednášek
- Úvod - rekapitulace, LL(1) jazyky a jejich analýza.
- LL(k) jazyky.
- Způsoby zpracování LL(k) jazyků.
- SLR jazyky.
- LR a LALR jazyky - I.
- LR a LALR jazyky - II.
- Sémanticky závislá lexikální analýza.
- Atributy, jejich role a zpracování.
- Gramatiky s rozptýleným kontextem a jejich LL varianta.
- Řízené zásobníkové automaty.
- Kontextové jazyky a jejich zpracování.
- LL gramatiky s rozptýleným kontextem a jejich analýza řízenými zásobníkovými automaty.
- Vybrané kapitoly z optimalizací.
Průběžná kontrola studia
Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.
Kontrolovaná výuka
Několik referátů na vybrané téma, řešení projektu (konstrukce specifikovaného překladače či analyzátoru danými technikami).
Zařazení předmětu ve studijních plánech