Formálne jazyky a automaty (1)

Úlohy na cvičenia

Na každé cvičenie okrem úvodného bude približne v týždňovom predstihu zverejnená sada niekoľkých domácich úloh. Za tieto úlohy sa nebudú udeľovať žiadne body; podmienkou úspešného absolvovania predmetu ale sú aspoň tri uznané riešenia takýchto úloh. Na uznanie riešenia úlohy je nutné:

• Najneskôr do začiatku príslušného cvičenia si úlohu rezervovať (možno tak urobiť po prihlásení). Každú úlohu si v rámci jednej skupiny môže rezervovať nanajvýš jeden študent a žiaden študent si nemôže na jedno cvičenie rezervovať viac ako jednu úlohu (hoci je odporúčané samostatne riešiť aj ďalšie úlohy).
• Odovzdať na cvičení riešenie úlohy v písomnej forme.
• Na požiadanie cvičiaceho prezentovať riešenie úlohy pri tabuli (nebudú sa prezentovať všetky úlohy, ale treba počítať s tým, že každý sa počas semestra dostane na rad aspoň raz).

Po skončení cvičenia bude písomne odovzdané riešenie skontrolované cvičiacim a v prípade jeho správnosti bude uznané. V opačnom prípade sa ďalší postup stanoví individuálne (obvykle bude potrebné riešenie prerobiť a odovzdať znova).

• Momentálne nie sú k dispozícii žiadne úlohy.