Formálne jazyky a automaty (2)

Letný semester 2025/26

DomovPravidláŠtudijné materiályDomáce úlohyRiešenia úlohKontaktyPrihlásiť sa

Výučba v letnom semestri 2025/26

Prednášky:

Cvičenia:

Oznamy

4. mája 2026, 16:25

Veľká písomka bude v pondelok 18. mája 2026 o 14:00 v posluchárni A. Na písomke sa môžu vyskytnúť úlohy zamerané na látku z celého semestra, to znamená predovšetkým na nasledujúce oblasti:

  • Myhillova-Nerodova veta a minimálne automaty.
  • A-prekladače.
  • Substitúcie.
  • Greibachovej normálny tvar.
  • Ogdenova lema.
  • Kontextové jazyky.
  • Postov korešpondenčný problém.
  • Turingovské redukcie a turingovská ekvivalencia rozhodovacích problémov.
  • Rozhodnuteľnosť vlastností jazykov tried Chomského hierarchie.
  • Riceove vety.
  • Algoritmus CYK.
  • Preklad.
  • Syntaktická analýza zdola nahor (základné pojmy, algoritmus „posuň a redukuj”, jednoducho precedenčné gramatiky a LR gramatiky).
  • Deterministické zásobníkové automaty.