Jazyky a překlady

Předmět nesmí být zapsán současně s:

Jazyky a překlady (36JPR)

Předmět je náhradou za:

Jazyky a překlady (36JPR)

Přednášející:

Jan Holub

Cvičící:

Jan Holub

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

Požadavky:

http://service.felk.cvut.cz/courses/X36JPR/

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

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

Cíle studia:

Studijní materiály:

1. Melichar, B.: Jazyky a překlady. Vydavatelství ČVUT, Praha 1996.

Poznámka:

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

Rozvrh na zimní semestr 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St	místnost KN:E-308 Holub J. 12:45–14:15 (přednášková par. 1 paralelka 101) Karlovo nám. Lab K308 místnost KN:E-308 Holub J. 12:45–14:15 (přednášková par. 1) Karlovo nám. Lab K308
Čt
Pá

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů:

• MVT01-Výpočetní technika - softwarové inženýrství- strukturované studium (povinně volitelný předmět, povinně volitelný předmět, doporučení S3)
• MVT02-Výpočetní technika - systémové programování- strukturované studium (povinný předmět zaměření)
• MVT03-Výpočetní technika - počítačová grafika- strukturované studium (povinně volitelný předmět)
• MVT04-Výpočetní technika - počítačové sítě a internet- strukturované studium (povinně volitelný předmět)
• MVT05-Výpočetní technika - projektování číslicových systémů- strukturované studium (povinně volitelný předmět)