Jazyky a překlady
Kód | Zakončení | Kredity | Rozsah |
---|---|---|---|
36JPR | Z,ZK | 5 | 3+2s |
- Předmět nesmí být zapsán současně s:
- Jazyky a překlady (X36JPR)
- Předmět je náhradou za:
- Jazyky a překlady (X36JPR)
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra počítačů
- 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čů.
- Požadavky:
- Osnova 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ů
- Osnova 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
- Cíle studia:
- Studijní materiály:
-
[1] Melichar, B.: Jazyky a překlady. Skripta ČVUT, Praha 1996
- Poznámka:
-
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
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: