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
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!