Tak, konecne na ctvrty termin mam 'autogramy' uspesne za sebou ( ale tim ctvrtym terminem se tedy nechlubim :) )
Zkouska probiha stejne jako lonsky rok. Zaskrtavaci test, priklad + formulovat a dokazat pouzite vety, pak ustni cast, ve ktere svoje zapisky obhajujete.
Test byl, rekneme, z tezsi serie. Pan docent tedy navazal tam, kde loni skoncil - tzn. testem, ktery byl na uplne poslednim 'poterminu', jak jiste velka cast zucastnenych poznala. Takze stale a o to vic plati: malickost v zadani uplne meni spravnou odpoved. => Neucte se jenom "focenim", ale hlavne pochopenim a pak zformulovanim.
Zadani meho prikladu byl jazyk L={ ww | w z (a,b)* } - zjistit, kde se nachazi v Chomskeho hierarchii - dokazat + dokazat, proc se nenachazi v nizsi tride (nizsi chapejte jako napsane na slajdu niz, takze ve skutecnosti vyssi typ) . Takze velice dopodrobna probirane tema na http://forum.matfyz.info/viewtopic.php?f=243&t=3386 (...Kdybych si to tak byvala byla alespon jednou procetla...)
Co jsem zaslechla dalsi zadani: Nejake prevody z regularniho vyrazu, neco s nedeterministickymi a deterministickymi automaty... Predpokladam, ze vetsinou zadani, ktere si clovek dokaze sam domyslet.
Uspesnost byla na muj vkus mala, opet hned po testu odesla cca polovina studentu. :(
Vsem, ktere to jeste ceka, hrozne moc drzim palce!