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