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
28. 5. 2018Druhý (a zároveň posledný) opravný termín písomiek sa uskutoční vo štvrtok, 31.5., o 17:20 v F1-109 (kde sme mali cvičenia celý semester). Bude sa dať opravovať aj malá aj veľká písomka (práve jedna z nich). Netreba sa nikde prihlasovať, avšak ak plánujete prísť, pošlite mi prosím mail, aby som vedel, koľko zadaní tlačiť. Ďakujem!
22. 5. 2018Prvý opravný termín sa uskutoční vo štvrtok, 24.5., o 17:20 v F1-109 (kde sme mali cvičenia celý semester). Bude sa dať opravovať aj malá aj veľká písomka. Netreba sa nikde prihlasovať, stačí prísť.
12. 5. 2018Prišlo to! Medzi riešeniami pribudlo riešenie tretej bodovanej domácej úlohy.
11. 5. 2018Tak nakoniec predsa medzi riešeniami pribudlo riešenie druhej bodovanej domácej úlohy. Na riešenie tretej sa môžete tešiť zajtra!
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.