Detail předmětu
Vybraná témata z analýzy a překladu jazyků
APD Ak. rok 2017/2018 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.
Okruhy otázek k SDZ
- LL(k) jazyky a jejich způsoby syntaktické analýzy.
- Syntaktická analýza LR a LALR jazyků, tvorba rozkladové tabulky.
- Sémanticky a kontextově závislá lexikální analýza.
- Atributované gramatiky a jejich využití při analýze formálních jazyků.
- Gramaticky s rozptýleným kontextem, LL varianta, prioritní, vztah k TS.
- Řízené zásobníkové automaty, deterministické varianty, vztah k TS.
- LL gramatiky s rozptýleným kontextem jako vstup pro analýzu formálních jazyků, konstrukce řízeného zás. automatu.
- Role priorit a atributů u zpracování formálních jazyků s využitím LL gramatik s rozptýleným kontextem.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 39 hod. přednášky
- 13 hod. projekty
Bodové hodnocení
- 60 bodů závěrečná zkouška (písemná část)
- 40 bodů 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