XD36JPR | Jazyky a překlady | Rozsah výuky: | 14+4 | ||
---|---|---|---|---|---|
Přednášející (garant): | Melichar B. | Typ předmětu: | Z | Zakončení: | Z,ZK |
Zodpovědná katedra: | 336 | Kreditů: | 4 | Semestr: | Z |
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 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.
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 deterministické a nedeterministické | |
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 gramatiky | |
8. | LR gramatiky, základní pojmy | |
9. | LR gramatiky, syntaktická analýza | |
10. | LR gramatiky, konstrukce tabulek | |
11. | Formální překlady, základní pojmy, překladové gramatiky | |
12. | Překladové automaty a překladové gramatiky | |
13. | Formální překlad řízený LL analyzátorem | |
14. | Formální překlad řízený LR analyzátorem |
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. | LR gramatiky - konstrukce tabulek | |
11. | LR gramatiky - syntaktická analýza | |
12. | Překladové gramatiky a překladové automaty | |
13. | Formální překlad při LL analýze | |
14. | Formální překlad při LR analýze |
Literatura Č:
1. | Melichar, B.: Jazyky a překlady. Vydavatelství ČVUT, Praha 1996. |
Literatura A:
1. | Melichar, B., Holub, J., Mužátko, P.: Languages and Translations. Publishing House of CTU, Praha 1997. |
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) |