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

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

Prihlásenie

Meno:
Heslo:

Oznamy

pridané dňaoznam
6. 12. 2018Ako sme sa dohodli na základe internetovej komunikácie, bonusové cvičenia sa uskutočnia v nasledovných časoch:
  • piatok 7.12. o 13:10 v M-I
  • pondelok 10.12. o 14:00 v B
  • pondelok 17.12. o 14:00 v M-II
Na piatkovom cvičení dokončíme vzorové riešenie písomky a ak bude čas, tak spravíme vzorové riešenie DU3.1. Na ďalších cvičeniach môžeme prejsť ľubovolné príklady zo semestra, o ktoré máte záujem. Ak niekto chce vidieť riešenie niektorého príkladu zo semestra (tj. DU alebo úlohy na cvičenia), je potrebné, aby dal vedieť cvičiacemu, o ktorý príklad ide. Toto treba dať vedieť emailom najneskôr 2 dni pred cvičeniami. Ak nepošlete žiadne tipy na úlohy, vyberiem nejaké úlohy sám. Účasť na týchto cvičeniach je samozrejme nepovinná.
6. 12. 2018Na stránke riešenia bolo zverejnené vzorové riešenie DU4.2, ktoré vypracoval Filip Jurčák. Tiež sme mu vďační. Na tomto riešení tiež pekne vidno, čo znamená poriadne formálne definovať a následne (primerane detailne) slovne zdôvodniť správnosť konštrukcie Turingovho stroja.
4. 12. 2018Na stránke riešenia bolo zverejnené vzorové riešenie DU3.2, ktoré vypracoval Tomáš Farský, za čo sme mu vďační. Na tomto riešení sa dá pekne vidieť, čo to znamená poriadne formálne zadefinovať a následne slovne zdôvodniť svoju konštrukciu.

[ zobraz všetky oznamy ]