Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Automaty A Gramatiky / Zkouška LS 2008
Přihlášení:  Heslo:  
Matfiz: AutomatyAGramatiky/ZkouškaLS2008 ...
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |
Toto je stará verze stránky AutomatyAGramatiky/ZkouškaLS2008 z 2008-06-04 18:40:36..

Automaty a gramatiky – zkouška LS 2008


Písemná část trvá 2 hodiny čistého času. Nejprve se píše zaškrtávací test, pokud získáte dostatečný počet bodů (oficiálně 19, ale dva jsme prošli s 18, otázek je celkem asi něco pod třicet), dostanete zadání vlastní písemky. Skóre z testu ovlivňuje i (případnou) známku ze zkoušky (to říkal přímo Barták), nicméně jsem živoucím důkazem, že i z 18 bodů lze vymáčknout dvojku.


Nějaká stará zadání testů nalezená na fórech (nebojte: 1. dostanete jiné, 2. vyznačené odpovědi jsou někdy špatně, 3. půlka stejně nejde přečíst, ale aspoň něco se bude krýt;)):



Já jsem se teda z těchhle testů moc nepřipravoval (asi chyba), ale stejně jsem měl i otázky, které tam nebyly. Vzpomínám si třeba na:



A moje zadání písemky vypadalo takhle nějak:


Je dán jazyk L = {aibjck | ijk}. Zkonstruuj kontextovou gramatiku G, tž. L = L(G). Dokaž, že pro daný jazyk nejde zkonstruovat kontextová gramatika. Definuj kontextovou gramatiku, monotónní gramatiku, vztah mezi nimi. Dokaž. (Tzn. jednalo se o to, že z pro každou monotónní gramatiku lze zkonstruovat kontextovou gramatiku generující týž jazyk.)

Adam (zkouška 27. května)


Moje vypadalo zase takhle:


Zkonstruujte redukovany deterministicky konecny automat, ktery prijima slova z jazyka {a,b}*, ktera na konci maji skupinu symbolu a – alespon vsak dvou -, predchazenou symbolem b. Co to je redukovany automat? Co to je ekvivalence stavu? Dokazte vsechna tvrzeni a vety, ktere jste pouzili pri tvorbe automatu.

Cestmir (zkouska 27. kvetna)


Je dán jazyk L = {0n1n | 0 ≤ nm ≤ 2n}. Zkonstruuj bezkontextovou gramatiku G, tž. L = L(G). Definuj regulární gramatiku, bezkontextovou gramatiku. Dokaž, že pro daný jazyk nejde zkonstruovat regulární gramatika. Dokaž věty, které jsi použil. (Tzn. Nerodovu větu.)

(od Jakuba Melky taky z 27. května)


Po dopsání následuje přesun a ústní zkoušení, které probíhá příjemně, ale zase nic nedostanete zadarmo. Zkoušení trvá v průměru poměrně dlouho, za hodinu se vyzkouší odhadem nejvýše pět lidí, spíš méně. Pokud jste něco při psaní písemky nedokázali, vaše gramatika negeneruje to, co má, nebo jste chybně formulovali tvrzení a následně dokazovali něco jiného, budete mít druhou šanci. O testu se, ani co jsem viděl u ostatních, nebavil. Ukázal mi ho až na požádání.


Já jsem měl jazyk L = {u . uR . u | u patří do {0, 1}* }. Měl jsem tento jazyk zařadit do co nejmenší třídy Chomského hierarchie a dokázat, proč nepatří do nižší třídy. Taktéž jsem měl napsat a dokázat tvrzení, které mi pomohlo určit, že tento jazyk nepatří níže (čili pumping lemma pro BKJ).

Podle mě to nebylo zase tak těžké zadání, ale bylo toho dost na docela málo času. Nestihl jsem napsat k tomuto jazyku gramatiku, ale doc. Barták mi ji dal dopsat na ústní části. Stejně jako Adam jsem důkazem toho, že i z 18 bodů se dá udělat za 2. Na ústní je Barták opravdu v pohodě. Ale ty testy jsou fakt drsné.


Mates (zkouška taktéž 27.května)


Já jsem měl teda z testu 23 bodu. Učil jsem se z (jednoho) lonskeho testu, u kazde otazky jsem si rikal co by se stalo kdyby tam nebylo to a nebo bylo neco navic.
Kdyz jsem prisel na neco v cem jsem si nebyl prilis jisty, nasel jsem si to ve slajdech. Asi bych to doporucil pro uspesne napsani testu ikdyz kazdemu to vyhovuje jinak.
Jako priklad jsem dostal jazyk L = { w patří do {a,b,c}*, pocet acek=pocet becek= pocet cecek (nikoli aibici) }
stejne jako martin zaradit do chomskeho hierarchie a dokazat proc neni niz a co mi to pomohlo rozhodnout. gramatiku jsem mel hned, s dukazem pumping lematu pro BKJ jsem trochu bojoval, ideologicky jsem to mel vlastne uplne spravne, bartakovi se tam nezdalo par detailu okolo vysky stromu, delce slova v zavislosti na delce derivace. rekl mi narovinu ze ted je to na dvojku, a jestli chci tak ze mi da jednicku kdyz poradne promyslim ten dukaz do detailu. Spokojil jsem se s dvojkou.
Karl (zkouška 23.května)


Test mi prisel tezsi, nez ty ktere jsem si zkousel na webu. U dost otazek jsem si nebyl jistej, jestli je mam spravne nebo ne, nakonec jsem nastesti par spravne mel -> 23 bodu.
Priklad byl nasledujici: Sestrojte redukovany konecny automat rozpoznavajici jazyk L={u | u se sklada z {a,b}*, obsahuje 3k béček a neobsahuje 3k+1 áček}. Definujte kongruenci automatu a podilovy automat. Uvedte tvrzeni o konstrukci podiloveho automatu a dokazte ho.
Otazka mi hodne nesedla, tu kongruenci automatu jsem si presne nepamatoval a o cem presne hovori to tvrzeni jsem taky netusil, takze jsem dlouho vymejslel a varil, ale nakonec jsem neco vymyslel. Protoze toho bylo malo a priznal jsem, ze se mi otazka vubec nelibila, dostal jsem jako doplnujici otazku ekvivalenci stavu a jeji zjistovani. Posleze za 2.
h. (zkouška 4.června)


 
Na stránce nejsou žádné soubory. [Zobrazit soubory (formulář)]
Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]