Detail předmětu

Formální jazyky a překladače (v angličtině)

IFJe Ak. rok 2024/2025 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, lexikální analyzátory; tabulka symbolu. (III) Bezkontextové jazyky a syntaktická analýza: bezkontextové jazyky a gramatiky, zásobníkové automaty, syntaktická analýza; deterministická syntaktická analýza, LL gramatiky, deterministická analýza shora dolů (rekurzivní sestup); princip deterministické analýzy zdola nahoru. (IV) Sémantická analýza a generováni kódu: sémantická analýza, generováni vnitřní formy programu, optimalizace, generováni cílového kódu.

Odkazy

Podmínky zápočtu

Udělení zápočtu je podmíněno získáním min. 20 bodů v průběhu semestru, z nichž nejméně 5 bodů je za projekt.

Garant předmětu

Koordinátor předmětu

Jazyk výuky

anglicky

Zakončení

zápočet+zkouška (písemná)

Rozsah

  • 39 hod. přednášky
  • 13 hod. projekty

Bodové hodnocení

  • 55 bodů závěrečná zkouška (písemná část)
  • 20 bodů půlsemestrální test (písemná část)
  • 25 bodů projekty

Zajišťuje ústav

Přednášející

Cvičící

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ů.
Základní obeznámenost s formálními jazyky a jejich modely. Schopnost sestrojit překladač.

Doporučené prerekvizity

Požadované prerekvizitní znalosti a dovednosti

Diskrétní matematika.

Osnova přednášek

  • Základy formálních jazyků: abeceda, řetězce, jazyky.
  • Úvod do překladačů: struktura překladače.
  • Regulární jazyky a jejich modely: regulární výrazy, konečné automaty.
  • Varianty konečných automatů.
  • Lexikální analýza: lexikální analyzátor, tabulka symbolů.
  • Bezkontextové jazyky a jejich modely: bezkontextové gramatiky, zásobníkové automaty.
  • Zásobníkové automaty a obecný překlad.
  • Deterministická syntaktická analýza shora dolů: rekurzívní sestup.
  • Deterministická syntaktická analýza zdola nahoru: jednoduchá precedenční analýza.
  • Chomského hierarchie a korespondující modely. Závěrečné poznámky a shrnutí.

Průběžná kontrola studia

Půlsemestrální zkouška v polovině semestru. Průběžná kontrola řešení projektu vedoucím.

Rozvrh

DenTypTýdnyMístn.OdDoKapacitaPSKSkupInfo
Út zkouška 2024-11-05 E105 L314 12:0013:20 IFJe: Midterm Test
Út přednáška 1., 2., 3., 4., 10. výuky L314 12:0014:5030 1EIT 2EIT INTE MITP-EN xx Křivka
Út přednáška 5., 7. výuky L314 12:0014:5030 1EIT 2EIT INTE MITP-EN xx Havel
Út přednáška 6., 8., 9., 11., 12., 13. výuky L314 12:0014:5030 1EIT 2EIT INTE MITP-EN xx Meduna

Zařazení předmětu ve studijních plánech

Nahoru