Formálne jazyky a automaty (2)

Letný semester 2024/25

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

Výučba v letnom semestri 2024/25

Prednášky:

Cvičenia:

Oznamy

1. apríla 2025, 18:10

Medzi domácimi úlohami pribudli zadania dvoch prémiových domácich úloh. Riešenia je možné odovzdať do pondelka 14. apríla 2025, 14:00 do krabice umiestnenej na chodbe pred sekretariátom KI (miestnosť M-254). Za každú z úloh je možné získať maximálne 3 bonusové body – tieto sa započítajú do celkového hodnotenia, ale nebudú sa započítavať do súčtu bodov za domáce úlohy.

1. apríla 2025, 18:10

Medzi domácimi úlohami pribudli zadania druhej sady bodovaných domácich úloh (tentokrát za 9 bodov). Riešenia je potrebné odovzdať do pondelka 14. apríla 2025, 14:00 do krabice umiestnenej na chodbe pred sekretariátom KI (miestnosť M-254).

18. marca 2025, 18:03

Malá písomka bude v stredu 2. apríla 2025 o 16:30 v miestnosti F1-328. Na písomke sa môžu vyskytnúť úlohy zamerané na látku zodpovedajúcu prvým piatim cvičeniam (a sadám úloh na cvičenia 2 až 6), 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.