Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
36JPR Jazyky a překlady Rozsah výuky:3+2
Přednášející (garant):Melichar B. Typ předmětu:Z Zakončení:Z,ZK
Zodpovědná katedra:336 Kreditů:5 Semestr:L

Anotace:
Základní teoretické disciplíny v oblasti počítačových věd jsou teorie jazyků a teorie překladu. Na základě pojmů formální jazyk, formální překlad, atributová gramatika a automat je vybudována rozsáhlá teorie, která zahrnuje i velmi praktické výsledky ve formě algoritmů syntaktické analýzy a konstrukce syntaktických analyzátorů. Do přednášek a cvičení byly vybrány zejména ty partie, které mají praktické aplikace v celé řadě počítačových disciplín. Jmenujme alespoň počítačovou grafiku, vyhledávání, rozpoznávání a konstrukci překladačů.

Osnovy přednášek:
1. Základní pojmy teorie jazyků, definice a klasifikace gramatik
2. Regulární jazyky, regulární gramatiky, regulární výrazy
3. Konečné automaty
4. Bezkontextové (CF) gramatiky, syntaktická analýza CF jazyků
5. Zásobníkové automaty, vztah CF gramatik a zásobníkových automatů
6. LL gramatiky, rozkladové tabulky, algoritmus syntaktické analýzy
7. Transformace bezkontextových gramatik na LL(1) gramatiky
8. Formální překlady, základní pojmy, překladové gramatiky
9. Překladové automaty a překladové gramatiky
10. Formální překlad řízený LL analyzátorem
11. Atributované překlady, atributované gramatiky
12. Výpočet hodnot atributů
13. LL atributované překlady
14. Implementace překladů

Osnovy cvičení:
1. Konstrukce gramatik pro jednoduché jazyky
2. Konečné automaty pro jednoduché jazyky
3. Vztah mezi regulárními gramatikami a konečnými automaty
4. Vztah mezi regulárními výrazy a konečnými automaty
5. Vztah mezi regulárními výrazy a regulárními gramatikami
6. Bezkontextové gramatiky, základní transformace
7. Zásobníkové automaty
8. LL gramatiky, konstrukce rozkladové tabulky, syntaktická analýza
9. Transformace bezkontextových gramatik na LL gramatiky
10. Formální překlady
11. Atributové gramatiky
12. Výpočet atributů
13. Implementace

Literatura Č:
[1] Melichar, B.: Jazyky a překlady. Skripta ČVUT, Praha 1996

Literatura A:
[1] Melichar, B., Holub, J., Mužátko, P.: Languages and Translations. Publishing House of CTU, Praha 1997.

Požadavky:
2.

5. Rozsah výuky v kombinované formě studia: 19+4
Typ cvičení: s
Tento předmět je nabízen také v anglické verzi

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
*VTBE Výpočetní technika Z 6
*VTBEB Výpočetní technika Z 6


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)