Programovací jazyky a překladače

Přednášející:

Jan Janoušek (gar.)

Cvičící:

Radomír Polách, Jan Trávníček

Předmět zajišťuje:

katedra teoretické informatiky

Anotace:

Studenti budou umět základní metody implementace běžných programovacích jazyků. Získají zkušenost s návrhem a implementací překladu jednotlivých konstruktů programovacích jazyků (datové typy, podprogramy, apod). Naučí se formálně specifikovat překlad textu, který vyhovuje určité syntaxi, do cílové formy a na základě této specifikace napsat překladač. Překladačem se zde rozumí nejen překladač programovacího jazyka, ale jakýkoliv jiný program analyzující a zpracovávající text zapsaný v jazyku, který je dán LL(1) gramatikou.

Požadavky:

Osnova přednášek:

1. Přehled programovacích jazyků, programovací paradigmata. Struktura překladače, virtuální počítač.

2. Návrh a realizace lexikálního analyzátoru.

3. LL(1) gramatiky, transformace BG na LL(1).

4. Realizace syntaktické analýzy rekurzívním sestupem.

5. Překladové gramatiky a zásobníkové překladové automaty.

6. Atributové překladové gramatiky.

7. Vnitřní formy programu, překlad a vyhodnocení výrazů.

8. Překlad do jazyka zásobníkového počítače.

9. Překlad do syntaktického stromu.

10. Specifikace a implementace datových typů.

11. Překlad typických jazykových konstrukcí.

12. Specifikace a implementace podprogramů.

13. Specifikace a implementace datových abstrakcí.

Osnova cvičení:

1. Návrh a realizace lexikálního analyzátoru.

2. Realizace syntaktické analýzy rekurzívním sestupem.

3. Atributové překladové gramatiky.

4. Překlad do jazyka zásobníkového počítače.

5. Překlad do syntaktického stromu.

6. [2] Konzultace k domácí práci.

Cíle studia:

Předmět obsahuje přehled obecných rysů programovacích jazyků a výklad základních metod jejich implementace. Návrh a programová realizace jednotlivých částí překladače jsou podloženy základní teorií gramatik a automatů. Pro ilustraci metod je zaveden jednoduchý programovací jazyk a navržen a realizován překladač. Dále jsou probrány základní metody implementace datových typů, podprogramů a datových abstrakcí.

Studijní materiály:

1. Müller, K. Programovací jazyky. Praha: ČVUT, 2002. ISBN 80-01-02458-X.

2. Nešvera, Š. Programovací jazyky: cvičení. Praha: ČVUT, 2002. ISBN 80-01-02522-5.

Poznámka:

Rozsah=prednasky+proseminare+cviceni:2p+1c

Rozvrh na zimní semestr 2018/2019:

Rozvrh není připraven

Rozvrh na letní semestr 2018/2019:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út	místnost TH:A-s135 Janoušek J. 12:45–14:15 (přednášková par. 1) Thákurova 7 (FSv-budova A) As135místnost TH:A-1242 Polách R. 14:30–16:00 SUDÝ TÝDEN (přednášková par. 1 paralelka 101) Thákurova 7 (FSv-budova A) místnost TH:A-1242 Polách R. 14:30–16:00 LICHÝ TÝDEN (přednášková par. 1 paralelka 102) Thákurova 7 (FSv-budova A)
St
Čt
Pá

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

• Informační technologie - verze pro ty, kteří se zapsali v roce 2012 (volitelný předmět)
• Informatika, plán pro fázi studia bez oboru - verze pro ty, kteří se zapsali v roce 2013 (VO, volitelný předmět)
• Web a multimedia - verze pro ty, kteří se zapsali v roce 2013 (volitelný předmět)
• Teoretická informatika - verze pro ty, kteří se zapsali v roce 2013 (povinný předmět oboru, volitelný předmět)
• Informační technologie - verze pro ty, kteří se zapsali v roce 2013 (volitelný předmět)
• Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2013 (volitelný předmět)
• Informační systémy a management - verze pro ty, kteří se zapsali v roce 2013 (volitelný předmět)
• Informatika, plán pro fázi studia bez oboru - verze pro ty, kteří se zapsali v roce 2014 (VO, volitelný předmět)
• Web a multimedia - verze pro ty, kteří se zapsali v roce 2014 (volitelný předmět)
• Teoretická informatika - verze pro ty, kteří se zapsali v roce 2014 (povinný předmět oboru, volitelný předmět)
• Informační technologie - verze pro ty, kteří se zapsali v roce 2014 (volitelný předmět)
• Počítačové inženýrství - verze pro ty, kteří se zapsali v roce 2014 (volitelný předmět)
• Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2014 (volitelný předmět)
• Informační systémy a management - verze pro ty, kteří se zapsali v roce 2014 (volitelný předmět)
• Bc. program Informatika, studijní plán pro fázi studia bez oboru, verze 2015 až 2019 (VO)
• Bc. obor Bezpečnost a informační technologie, verze 2015 až 2019 (volitelný předmět)
• Bc. obor Teoretická informatika, verze 2015 až 2019 (povinný předmět oboru)
• Bc.obor Počítačové inženýrství, verze 2015 až 2019 (volitelný předmět)
• Bakalářský obor Informační systémy a management, verze 2015 až 2019 (volitelný předmět)
• Bakalářský obor Znalostní inženýrství, verze 2015, 2016 a 2017 (volitelný předmět)
• Bakalářský obor WSI, zaměření Softwarové inženýrství, verze 2015 až 2019 (volitelný předmět)
• Bakalářský obor WSI, zaměření Webové inženýrství, verze 2015 až 2019 (volitelný předmět)
• Bakalářský obor WSI, zaměření Počítačová grafika, verze 2015 až 2019 (volitelný předmět)
• Bakalářský obor Znalostní inženýrství, verze 2015 až 2019 (volitelný předmět)