Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
X36JPR Jazyky a překlady Rozsah výuky:2+2
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:

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

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


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)