Predtermin 6.5.

[Poligla]

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!

[nardew]

ja som z definicii, viet a dokazov mal: kontextova gramatika, monotonna gramatika, veta + dokaz vztah monotonnej gramatiky a gramatiky kontextovej a dokazat pri tom aj vetu o separovanej gramatike

ako priklad som mal L = {aⁱb^jc^k | i > j > k >=0} - napisat kontextovu gramatiku a dokazat ze to nie je bezkontextove

oproti tomu testu to uz nebolo az take tazke..

[neoangin]

Vie niekto termin toho poterminu, spominaneho v prvom prispevku? V pondelok 12.5. je dalsi predtermin... Dik.