Detail předmětu

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

IFJe Ak. rok 2023/2024 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.

Garant předmětu

Meduna Alexandr, prof. RNDr., CSc. (UIFS)

Koordinátor předmětu

Křivka Zbyněk, Ing., Ph.D. (UIFS)

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

Ústav informačních systémů (UIFS)

Přednášející

Havel Martin, Ing. (UIFS)
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Meduna Alexandr, prof. RNDr., CSc. (UIFS)

Cvičící

Havel Martin, Ing. (UIFS)
Křivka Zbyněk, Ing., Ph.D. (UIFS)

Stránky předmětu

Stránky předmětu v Moodle VUT (anglicky)

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.

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.

Rozvrh

DenTypTýdnyMístn.OdDoKapacitaPSKSkupInfo
Út zkouška 2023-10-31 M104 12:0014:00 IFJe: Midterm
Út přednáška 1., 2., 3., 4., 6., 8., 9., 11., 12., 13. výuky M104 M105 12:0014:5041 1EIT 2EIT INTE MITP-EN xx Meduna
Út přednáška 5., 7. výuky M104 M105 12:0014:5041 1EIT 2EIT INTE MITP-EN xx Havel
Út přednáška 2023-11-21 M104 M105 12:0014:5041 1EIT 2EIT INTE MITP-EN xx Křivka
St zkouška 2024-01-24 A113 13:0014:50 IFJe: 3rd term
St zkouška 2023-12-13 M103 18:0020:00 IFJe: Early term of Final Exam
Čt zkouška 2024-01-04 E105 10:0011:50 IFJe: 1st term
Pá zkouška 2024-01-12 D105 08:3010:30 IFJe: 2nd term

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

Nahoru