Detail předmětu
Formální jazyky a překladače
IFJ Ak. rok 2003/2004 zimní semestr 5 kreditů
Kurs diskutuje formální jazyky a jejich modely. Na bázi těchto modelu objasňuje konstrukci překladačů. Výklad je organizován následovně: (I) Základní pojmy: formální jazyky a jejich modely, gramatiky, automaty; překlady. (II) Regulární jazyky a lexikální analýza: regulární jazyky a výrazy, konečné automaty a převodníky, lexikální analyzátory; Lex; tabulka symbolu. (III) Bezkontextové jazyky a syntaktická analýza: bezkontextové jazyky a gramatiky, zásobníkové automaty a převodníky, syntaktická analýza; deterministická syntaktická analýza, LL a LR gramatiky, deterministická analýza shora dolů (rekurzivní sestup); princip deterministické analýzy zdola nahoru ; Yacc. (IV) Sémantická analýza a generováni kódu: sémantická analýze, generováni vnitřní formy programu, optimalizace, generováni cílového kódu.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Základní obeznámenost s formálními jazyky a jejich modely. Schopnost sestrojit překladač.
Cíle předmětu
Seznámit se s formálními jazyky a jejich modely. Objasnit principy konstrukce překladačů na základě těchto modelů.
Doporučené prerekvizity
- Diskrétní matematika (IDM)
Literatura studijní
- kopie přednášek (elektronické i papírové)
- Meduna, A.: Automata and Languages. London, Springer, 2000.
- Meduna, A.: Elements of Compiler Design. New York, US, Tailor & Francis, 2008.
Literatura referenční
- Parsons, T. W.: Introduction to Compiler Construction. Freeman, New York, 1992.
Zařazení předmětu ve studijních plánech
- Program IT-BC-3, obor BIT, 2. ročník, povinný
- Program IT-BC-3 (anglicky), obor BIT, 2. ročník, povinný