V letním semestru akademického roku 2009/2010 vedu dvě cvičení k přednášce Automaty a gramatiky. Cvičení se konají každé pondělí od 12:20 v učebně S7 (Malá Strana), resp. každé úterý od 14:00 v učebně S8 (Malá Strana). Informace k průběhu cvičení budou postupně zveřejňovány na této stránce. Lze očekávat, že obě cvičení budou synchronizována.

Požadavky na zápočet jsou prezence, aktivita (řešení úlohy u tabule, dobrý nápad vyřčený z lavice, ...) a napsání zápočtových písemek, které se budou psát alespoň dvě.

29.3.2010 (pondělní cvičení), resp. 30.3.2010 (úterní cvičení) se bude psát první zápočtová písemka. Náplní písemky bude látka do té doby probraná na cvičení či přednášce.

Je pravděpodobné, že písemky budou opraveny k 5.4.2010. Bude-li tomu zapotřebí, náhradní písemky se budou psát 12.4.2010 (pondělní cvičení), resp. 13.4.2010 (úterní cvičení).

Bylo stanoveno, že pro splnění aktivity je třeba získat alespoň 8 bodů.

Pozor změna: Na žádost pondělní skupiny se termín náhradní písemky odkládá na 19.4.2010 (pondělní cvičení), resp. 20.4.2010 (úterní cvičení). Lze předpokládat, že požadovaný výkon pro napsání náhradní písemky bude 14 z 20 bodů. Doporučuje se tedy důkladná příprava.

3.5.2010 (pondělní cvičení), resp. 4.5.2010 (úterní cvičení) se bude psát druhá zápočtová písemka. Náplní písemky bude látka do té doby probraná na cvičení či přednášce.

Opravné písemky k první a druhé zápočtové písemkce se budou psát na posledních cvičeních, tj. 17.5. (pondělní cvičení) a 18.5. (úterní cvičení). Rozsah opravné první písemky zůstává stejný jako na původním termínu, rozsah opravné druhé písemky se může mírně rozšířit (může být zahrnuta látka probíraná později - např. bezkontextové gramatiky).