Formálne jazyky a automaty
(zimný semester 2019/2020)

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

Prihlásenie

Meno:
Heslo:

Oznamy

pridané dňaoznam
13. 1. 2020Bol skompletizovaný dokument so "vzorákmi" veľkej písomky. Nech padne na úžitok :)
10. 1. 2020Vaše riešenia veľkej písomky je možné konzultovať počas Januára s profesorom Rovanom. Bez ohlásenia viete prísť v pondelok od 9:00 do 10:00. Ak by ste chceli v inom čase, treba sa dohodnúť emailom.
8. 1. 2020Bola uverejnená časť "vzorákov" k veľkej písomke. Hľadajte v časti riešenia. Dokument je zatiaľ neúplný, bude priebežne dopĺňaný.
8. 1. 2020Konzultácie k veľkej písomke: nakoľko som do 4.2. v Miláne, konzultovať so mnou to nepôjde. Poslal som opravené písomky profesorovi Rovanovi, od zajtra by mali byť u neho v kancelárii. Ak niekoho zaujíma jeho riešenie, chce vidieť kde a aké chyby spravil, treba sa s ním dohodnúť na čase, kedy prídete vaše riešenie pozrieť do jeho kancelárie. Takisto sa ho viete popýtať ak vám nebude jasné, kde ste spravili chybu.
8. 1. 2020Boli uverejňené vzoráky DU 5.
6. 1. 2020Prvá opravná písomka sa uskutoční v pondelok, 20.1. o 12:00 v miestnosti F1/108. Opravovať sa bude dať aj malá aj veľká písomka (ale nie obe naraz). Príklady sa môžu týkať akejkoľvek témy, ktorá sa objavila na prednáškach alebo na cvičeniach. Upozorňujem, že ak písomku vypracujete a odovzdáte, automaticky sa jej výsledkom nahradí váš bodový zisk z riadneho termínu. Teda je možné si aj pohoršiť.
24. 12. 2019Boli zverejnené výsledky Veľkej Písomky.
12. 12. 2019Bola zverejnená sada úloh na cvičenie č.12.
11. 12. 2019Pripomíname, že podľa dohody sa veľká písomka uskutoční v pondelok, 16.12. o 18:10 v posluchárni B. Bude trvať 2 hodiny a vyskytnúť sa na nej môžu úlohy z ľubovoľných tematických okruhov odprednášaných a precvičených od začiatku semestra po cvičenie číslo 11 (vrátane).
9. 12. 2019Boli uverejnené vzoráky DU4 za ktoré ďakujeme Miške Dlugošovej, Veronike Tordovej a Samovi Čavojovi.
6. 12. 2019Bolo zverejnené zadanie piatej bodovanej domácej úlohy. Vaše riešenia treba odovzdať do štvrtku, 19.12., 10:30 do krabice, ktorá bude umiestnená pred sekretariátom katedry informatiky (miestnosť M-254).
6. 12. 2019Bola zverejnená sada úloh na cvičenie č.11.
4. 12. 2019Boli zverejnené vzorové riešenia domácej úlohy 3 za ktoré ďakujeme Richardovi Bírovi a Samovi Čavojovi.
4. 12. 2019Boli zverejnené výsledky DÚ 3.
30. 11. 2019Bolo jemne doplnené zadanie DU4.2. Konkrétne bolo povolené vášmu stroju zapisovať symbol "blank". Ďakujem niektorým študentom za upozornenie, že bez toho to nepôjde spraviť presne podľa zadania.
29. 11. 2019Bola zverejnená sada úloh na cvičenie č.10.
21. 11. 2019Popri písaní rigorózky mi padla do lona bonusová úloha, ktorú som sa rozhodol vám teda posunúť. Úspešní riešitelia budú odmenení tromi bonusovými bodmi. A navyše využijú svoj čas na pekné veci :)
21. 11. 2019Bolo zverejnené zadanie štvrtek bodovanej domácej úlohy. Vaše riešenia treba odovzdať do štvrtku, 5.12., 10:30 do krabice, ktorá bude umiestnená pred sekretariátom katedry informatiky (miestnosť M-254).
21. 11. 2019Bola zverejnená sada úloh na cvičenie č.9.
21. 11. 2019Boli zverejnené vzorové riešenia domácej úlohy 2 za ktoré ďakujeme Janovi Prinerovi a Samovi Čavojovi.
20. 11. 2019Boli zverejnené výsledky DÚ 2.
14. 11. 2019Bola zverejnená sada úloh na cvičenie č.8.
7. 11. 2019Boli zverejnené výsledky Malej Písomky.
7. 11. 2019Bola zverejnená sada úloh na cvičenie č.7.
7. 11. 2019Bolo zverejnené zadanie tretej bodovanej domácej úlohy. Vaše riešenia treba odovzdať do štvrtku, 21.11., 10:30 do krabice, ktorá bude umiestnená pred sekretariátom katedry informatiky (miestnosť M-254).
4. 11. 2019Boli zverejnené vzorové riešenia domácej úlohy 1 za ktoré ďakujeme Veronike Tordovej a Evke Herencsárovej.
30. 10. 2019Pre skrášlenie prázdnin pribudli výsledky Domácej úlohy 1. Teší ma, že naozaj sú dobré. Udržme si túto kvalitu aj ďalej! Taktiež viacerí z vás dostali bonusové body.

Spomínal som to aj na prvom cvičení, ale pre vysvetlenie - Bonusový bod za úlohu z DU môže dostať študent za riešenie, ktoré je tak dobré, že je možné ho použiť (s minimálnymi úpravami) ako vzorové riešenie daného príkladu. Teda pri bonusových bodoch je okrem korektnosti zohľadňovaná aj čitateľnosť riešenia.

Prajem vám prázdniny, cez ktoré si naozaj oddýchnete. Nezabudnite taktiež prečo tieto prázdniny vôbec sú. Nezabudnite na vašich predkov a choďte si na nich na chvíľu spomenúť na cintoríny. Bez nich by tu nikto z nás nebol.
25. 10. 2019Bol fixnutý preklep v zadaní druhej bodovanej druhej domácej úlohy. Ďakujem Samovi Čavojovi za upozornenie!
24. 10. 2019Malá Písomka sa uskutoční v pondelok, 28.10. o 18:10 v prednáškovej miestnosti B. Obsahom môžu byť akékoľvek príklady týkajúce sa akejkoľvek témy, ktorá bola odprednášaná a precvičená od začiatku semestra až po cvičenie č.5. Ide o nasledovné tematické okruhy:
  • Abecedy, jazyky, základné operácie na jazykoch
  • Homomorfizmus a inverzný homomorfizmus
  • Bezkontextové a regulárne gramatiky - konštrukcia a dôkaz správnosti
  • Normálne tvary bezkontextových gramatík
  • Uzáverové vlastnosti triedy bezkontextových jazykov
  • Deterministické a nedeterministické konečné automaty - konštrukcia a dôkaz správnosti
24. 10. 2019Bola zverejnená sada úloh na cvičenie č.6.
24. 10. 2019Bolo zverejnené zadanie druhej bodovanej domácej úlohy. Vaše riešenia treba odovzdať do štvrtku, 7.11., 10:30 do krabice, ktorá bude umiestnená pred sekretariátom katedry informatiky (miestnosť M-254).
17. 10. 2019Bola zverejnená sada úloh na cvičenie č.5.
10. 10. 2019Bolo zverejnené zadanie prvej bodovanej domácej úlohy. Vaše riešenia treba odovzdať do štvrtku, 24.10., 10:30 do krabice, ktorá bude umiestnená pred sekretariátom katedry informatiky (miestnosť M-254).
10. 10. 2019Bola zverejnená sada úloh na cvičenie č.4.
4. 10. 2019Bola zverejnená sada úloh na cvičenie č.3.
28. 9. 2019Tu je odkaz na spomínanú prednášku na tému "Ako čítať učebnicu matematiky" od docenta Kubáčka. Vrelo odporúčam pozrieť, môže to pomôcť pri štúdiu FoJákov.
23. 9. 2019Vitajte na FoJákoch! Aby nevznikli zbytočné komplikácie, prosíme všetkých študentov aby si prečítali pravidlá predmetu. Prihlasovanie na tejto stránke je otvorené; všetci študenti by mali mať vytvorené používateľské meno s prázdnym heslom. V prípade, že nemáte vytvorené používateľské meno (a chcete predmet absolvovať), treba poslať mail cvičiacemu. Je potrebné zmeniť si heslo. Sebe, nie spolužiakom. Fakt vás prosím, tento druh srandy si odpustime. Bude jej dosť aj bez toho :-) Po prihlásení si treba vybrať skupinu cvičení, nastaviť e-mailovú adresu a zverejňovanie študijných výsledkov. Teším sa na našu dobrodružnú cestu do hlbín teoretickej informatiky!