Předmět Vybraná témata z analýzy a překladu jazyků (FIT-APD)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-APD - Vybraná témata z analýzy a překladu jazyků, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).

Materiál	Typ	Datum	Počet stažení

Cíl

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.

Osnova

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.

Literatura

PřednáškyAho, 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. 76Aho, 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, ActaCybernetica, Vol. 14, pp. 653-664, 2000.Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, s. 76.

Požadavky

formální jazyky a automaty, základy překladačů, teorie grafů, vyčíslitelnost a složitost

Garant

doc. Dr. Ing. Dušan Kolář

Vyučující

doc. Dr. Ing. Dušan Kolář