Formálne jazyky a automaty
(letný semester 2017/2018)

[ oznamy ]
[ rozvrh ]
[ pravidlá ]
[ domáce úlohy ]
[ riešenia ]
[ hodnotenie ]
[ materiály ]
[ odkazy ]
[ TeX ]
[ kontakt ]

Prihlásenie

Meno:
Heslo:

Oznamy

pridané dňaoznam
24. 4. 2018Bolo uverejnené zadanie tretej bodovanej domácej úlohy, ktorú treba odovzdať štandardným spôsobom, do krabice pred sekretariátom KI, do pondelku, 7.5.2018, 13:00.
23. 4. 2018Dva utorky, 1.5. a 8.5. nám kvôli štátnym sviatkom odpadnú. Náhradné cvičenia sa uskutočnia v pondelky, 30.4. resp. 7.5. o 14:50 v F1-109. Účasť je nepovinná, avšak veľmi odporúčaná. Tieto cvičenia budú v úplne takom istom formáte ako všetky ostatné, akurát nebude prezenčka.
17. 4. 2018Ako sme sa dohodli na cvičeniach, veľká písomka sa uskutoční v pondelok, 14.5.2018 o 18:10 v F1-109. To je presne tá miestnosť, kde mávame cvičenia. Na písomke sa môžu objaviť príklady zo všetkých tematických okruhov, ktorým sme sa počas semestra venovali a budeme sa ešte venovať do tohto dátumu.
9. 4. 2018Medzi riešeniami pribudlo riešenie prvej bodovanej domácej úlohy.
4. 4. 2018Medzi materiálmi pribudol odkaz na minuloročné poznámky k cvičeniam.
29. 3. 2018Ako už odznelo na cvičeniach, malá písomka sa uskutoční v pondelok, 9.4.2018 o 18:10 v F1-109. To je presne tá miestnosť, kde mávame cvičenia. Na písomke sa môžu objaviť príklady z ľubovolných tematických okruhov, ktorým sme sa venovali na prednáškach a cvičeniach. Pre pripomenutie, sú to tieto:
  • Uzavretosť triedy bezkontextových jazykov na homomorfizmus a inverzný homomorfizmus
  • Substitúcie
  • a-prekladače
  • dvojsmerné DKA
  • lineárne ohraničené automaty (LBA)
  • triedy kontextových a rozšírených kontextových jazykov
  • Myhill-Nerodeová veta
  • Greibachovej normálny tvar
  • Ogdenova lema
  • Postov korešpondenčný problém (PKP)
29. 3. 2018Bolo uverejnené zadanie druhej bodovanej domácej úlohy, ktorú treba odovzdať štandardným spôsobom, do krabice pred sekretariátom KI, do pondelku, 16.4.2018, 13:00.
6. 3. 2018Bolo uverejnené zadanie prvej bodovanej domácej úlohy, ktorú treba odovzdať štandardným spôsobom, do krabice pred sekretariátom KI, do utorku 20.3.2018 15:00SEČ.
24. 2. 2018Bolo spresnené zadanie úlohy 6 v sade 2. Touto cestou ďakujem Matúšovi Juranovi za upozornenie na nepresnosť.
20. 2. 2018Vitajte v letnom semestri! Všetkých študentov zapísaných na tento predmet prosíme – najmä v prípade neúčasti na úvodnom cvičení a prednáške – o oboznámenie sa s pravidlami predmetu. Sú rovnaké, ako v zime, avšak zopakovanie nezaškodí. Prihlasovanie na tejto stránke je otvorené; študenti bakalárskeho stupňa zapísaní na predmet v AISe by mali mať vytvorené používateľské meno. Študentom magisterského stupňa štúdia používateľské meno nebolo vytvorené, keďže u väčšiny je jasné, že si predmet iba nechávajú uznať z bakalárskeho stupňa. Pre vytvorenie nového používateľa je potrebné poslať mail cvičiacemu. Ako aj v zime, je potrebné zmeniť si heslo, nemeniť heslo spolužiakom, vybrať si skupinu cvičení a nastaviť e-mailovú adresu a zverejňovanie študijných výsledkov.