X36TPR | Tvorba překladačů | Rozsah výuky: | 2+2 | ||
---|---|---|---|---|---|
Přednášející (garant): | Melichar B. | Typ předmětu: | Z | Zakončení: | Z,ZK |
Zodpovědná katedra: | 336 | Kreditů: | 4 | Semestr: | L |
Anotace:
Předmět navazuje na předměty Programovací jazyky a překladače a Jazyky a překlady. Obsahuje především definici a aplikaci atributových gramatik jako základního formalismu pro popis atributovaných překladů. Dále se zabývá některými speciálními otázkami konstrukce překladačů, inkrementální a paralelní syntaktickou analýzou, generováním a optimalizací cílového programu.
Osnovy přednášek:
1. | Úvod, přehled předpokládaných znalostí | |
2. | Atributované překlady, základní pojmy | |
3. | Atributované překladové gramatiky | |
4. | Výpočet hodnot atributů | |
5. | Jednoprůchodové atributované překlady | |
6. | Překlad složitějších jazykových konstrukcí | |
7. | Klasické metody generování cílového programu | |
8. | Generování cílového programu pro počítače s proudovým zpracováním | |
9. | Optimalizace cílového programu | |
10. | Paralelní LL analýza | |
11. | Paralelní LR analýza | |
12. | Inkrementální LL analýza | |
13. | Inkrementální LL analýza | |
14. | Netradiční aplikace (komunikační protokoly, stringologie, bioinformatika) |
Osnovy cvičení:
1. | Konstrukce syntaktického analyzátoru pro LL gramatiky, zadání projektu | |
2. | Konstrukce syntaktického analyzátoru pro LR gramatiky | |
3. | Atributové gramatiky - jednoduché konstrukce | |
4. | Atributové gramatiky - složitější konstrukce | |
5. | Výpočet hodnot atributů | |
6. | Výpočet hodnot atributů při LL analýze | |
7. | Výpočet hodnot atributů při LR analýze | |
8. | Kontrola projektu | |
9. | Překlad složitějších jazykových konstrukcí | |
10. | Generování cílového programu | |
11. | Paralelní LL analýza | |
12. | Paralelní LR analýza | |
13. | Inkrementální LL analýza | |
14. | Inkrementální LR analýza |
Literatura Č:
1. | Melichar,B. - Češka,M. - Ježek,K. - Richta,K.: Konstrukce překladačů. Vydavatelství ČVUT, Praha. |
Literatura A:
1. | Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, Techniques and Tools. Addison-Wesley, Reading, Mass., 1986. |
Požadavky:
|
Předmět je zahrnut do těchto studijních plánů:
|
Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |