Výučba v zimnom semestri 2025/26
Prednášky:
- Pondelok, 9:50 – 12:05, miestnosť F1-328
Cvičenia:
- Štvrtok, 9:50 – 11:20, akvárium M-III (skupina 1)
- Štvrtok, 12:20 – 13:50, miestnosť F1-108 (skupina 2)
- Štvrtok, 18:10 – 19:40, akvárium M-III (skupina 3)
Oznamy
30. októbra 2025, 21:30
Medzi domácimi úlohami pribudli zadania tretej sady bodovaných domácich úloh. Riešenia je potrebné odovzdať do štvrtka 13. novembra 2025, 19:40 do krabice umiestnenej na chodbe pred sekretariátom KI (miestnosť M-254).
30. októbra 2025, 21:30
Boli zverejnené riešenia druhej sady bodovaných domácich úloh.
30. októbra 2025, 21:30
Malá písomka bude v pondelok 10. novembra 2025 o 18:10 v posluchárni A. Na písomke sa môžu vyskytnúť úlohy zamerané na látku zodpovedajúcu prvým šiestim cvičeniam (a sadám úloh na cvičenia 2 až 7), to znamená predovšetkým:
- Slová, jazyky a operácie na nich; homomorfizmy a inverzné homomorfizmy; úlohy na porovnanie dvojíc jazykov.
- Bezkontextové gramatiky a dokazovanie správnosti ich konštrukcie matematickou indukciou.
- Normálne tvary bezkontextových gramatík (redukovaný, Chomského a „bezepsilonový”) a príslušné štandardné konštrukcie.
- Stromy odvodenia, jednoznačnosť a viacznačnosť bezkontextových gramatík.
- Deterministické a nedeterministické konečné automaty a dokazovanie správnosti ich konštrukcie matematickou indukciou.
- Štandardné konštrukcie pre konečné automaty a regulárne gramatiky: „odepsilonovanie” a determinizácia automatu, konštrukcia regulárnej gramatiky ku konečnému automatu a naopak.