zkouska 18.6.

[hannah]

Na dnesni test prisli vsichni opravdu dobre pripraveni, takze vsichni to napsali a vetsina na skoro plny nebo plny pocet bodu. Vysledkem bylo, ze vetsi vahu na vyslednou znamku mela ustni cast, kde byl klasicky priklad a vety s dukazy... A jak upozornil Bartak, ani 29 bodu z testu neznamena jistotu znamky, pokud je ta druha cast opravdu katastrofa....

[Lucas]

noo .. tak ja som mal tych 29 bodov, myslim ze moja druha cast nebola vyslovene katastrofalna. No ale nemal som dokaz pumping lematu pre BKJ, a gramatike ktoru som napisal pre {ww|w patri {a,b}* } som vobec nechapal. (proste som ju mal len v hlave) A nakoniec si to cele zopakujem.
A co viem, tak vacsina tych co mali ten isty priklad letela so mnou..
A co sa tyka testu.. mohol by ho uz zmenit, pretoze takto je uplne k nicomu.

[MIKI]

Typnem si, ze prvy odovzdaval ten test do 5 min.
Hold, je to zle, ked sa objavi uplny test.

[HonzaC]

Do pěti minut určitě ne, myslím, že první odevzdal po necelé půlhodině... Ale i tak muselo být doc. Bartákovi vše jasné, protože skoro všichni měli nad 25 bodů.

Já osobně dostal ve druhé části převod regulárního výrazu na KA + klasicky formulovat a dokázat použité věty a definice. Napsal jsem Kleenovu větu včetně důkazu a pak uzavřenost regulárních jazyků na sjednocení, zřetězení a iteraci. K tomu jsem měl vždycky jen řádek toho, co jsem považoval v těch důkazech za zásadní (víc jsem neuměl) - doc. Barták k tomu napsal velké otazníky a zeptal se, jestli to chci opravit, nebo mi stačí dvojka. Dvojka mi stačila a pže jsem odevzdal před hromadným ukončením v 1000, byl jsem po asi 100 minutové anabázi pryč a mohl jít dospat deficit.

Krom toho vím o zadání 2. části: sestrojení KA, sestavení kontextové gramatiky (což je hnus, neb na to není jasný postup).

Zkouška podle mého názoru určitě z těch těžších (alespoň v současné podobě)...