Detail předmětu
Vybraná témata z analýzy a překladu jazyků
APD Ak. rok 2022/2023 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ů.
- Gramatiky s rozptýleným kontextem a jejich varianty a vzájemný vztah, vlastnosti.
- Vztah gramatik s rozptýleným kontextem a jejich variant k Chomského hierarchii formálních jazyků.
- Ří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.
- Praktická implementace analyzátoru založeného na gramatikách s rozptýleným kontextem - varianty, optimalizace, omezení.
- 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
- 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 základního výzkumu prováděného na FIT 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
Technické vybavení
volně dostupné
- Překladače programovacích jazyků jako C/C++, Java, Haskell.
Literatura studijní
- Přednášky
- 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.
- 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.
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í.
Osnova ostatní - projekty, práce
- Tématicky orientovaná práce z oblasti analýzy jazyků spjatá s tématem disertační práce studenta.
- Programové vybavení z oblasti překladačů založené na pokročilé technologii, která je prezentována v přednáškách.
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
- Program DIT, libovolný ročník, povinně volitelný skupina T
- Program DIT, libovolný ročník, povinně volitelný skupina T
- Program DIT-EN (anglicky), libovolný ročník, povinně volitelný skupina T
- Program DIT-EN (anglicky), libovolný ročník, povinně volitelný skupina T
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný