Tvorba překladačů

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra počítačů

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.

Požadavky:

Osnova 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)

Osnova 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

Cíle studia:

Studijní materiály:

1. Melichar,B. - Češka,M. - Ježek,K. - Richta,K.: Konstrukce překladačů. Vydavatelství ČVUT, Praha.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Výpočetní technika - systémové programování- strukturované studium (povinný předmět zaměření)