# [Skuska] 29.5.2006

<{ForumPost(poster="macbeth", timestamp=2006-05-29 12:02:59)}>
No tak ako vyzerala regularna skuska? Uz sa bojim bojim o dva dni... :?
<{/ForumPost}>

<{ForumPost(poster="Isidor", timestamp=2006-05-29 12:05:10)}>
Regularna skuska bola rozpoznatelna v konecnom case nedeterministicky pracujucim studentom :lol:
<{/ForumPost}>

<{ForumPost(poster="laliebijard", timestamp=2006-05-29 14:00:09)}>
Dnesna skuska sa da zhrnut slovami "nic noveho"... mozno bolo v prikladoch par drobnosti inak, ale v podstate typovo je to iste... nejake definicie, sem tam nieco dokazat a celkom v poho priklady...  
  
(dufam, ze na trojku som to vystrachal  ]:-> )
<{/ForumPost}>

<{ForumPost(poster="stviper", timestamp=2006-05-29 15:00:37)}>
Ludia ale vsak napiste ake boli priklady. Bo sa mi nechce verit ze stale dava tu istu pisomku.  :?
<{/ForumPost}>

<{ForumPost(poster="hydrant", timestamp=2006-05-29 15:08:09)}>
Pocuvajte, napiste niekto presne co tam bolo. Nie kazdy to chce dat na trojku... Informacia "podobne ako minule" je sice dobra, ale bohuzial som cakal nieco ine. Ja ked pridem zo skusky tak sa snazim prispiet a napisat ostatnym co tam bolo. Toto mi moc nepomaha... Zatial mozem byt vdacny len tomu co napisal na web prvu pisomku z autogramov. Urcite ste sa z toho ucili aj vy. Tak si zoberte z neho priklad a skuste byt uzitocni.  
  
Priklady sa mozno opakuju, ale nechce sa mi verit ze uz 4x dal dokaz kleenovej vety. Tak by som ocakaval, ze tu budu napisane uz 4 rozne vety co trebalo dokazat na skuske.  
  
Tak sa niekto premozte a pomozte ostatnym napriek tomu ze uz to mate za sebou.  
  
za pochopenie dakujem.  
  
hydrant
<{/ForumPost}>

<{ForumPost(poster="Isidor", timestamp=2006-05-30 11:13:00)}>
No tak [ako tak pozeram](http://kti.mff.cuni.cz/~bartak/automaty/vysledky/vysledky29_05.html), uspesnost vcera nic moc...
<{/ForumPost}>

<{ForumPost(poster="laliebijard", timestamp=2006-05-30 12:46:06)}>
OK, tak ja sa pokusim nieco si vybavit...  
  
Mal som skupinu C (boli tri skupiny)  
  
(cislovanie prikladov len orientacne)  
  
1. Definujte formalnu gramatiku  
2. Aky typ pravidiel maju linearne gramatiky?  
3. Definicny obor a obor hodnot funkcie delta z def. zas. automatu  
4. Ako sa lisia prechodove funkcie deterministickeho a nedeterministickeho zasobnikoveho automatu?  
5. Dokazat, ze jazyk KA sa da popisat regularnym vyrazom (alebo nieco take)  
6. Doplnte definciu: L1 . L2 = {w |...  
7. Dokazte, alebo vyvratte: (L1 U L2)* = L1* U L2*  
8. Urcte a dokazte, ci su rekurzivne spocetne jazyky uzavrete na doplnok  
9. Navrhnite KA nad abecedou {a, b}, ktory prijima slova obsahujuce pocet symbolov 'a' delitelny troma a nedelitelny dvoma  
10. Priklad s dvoma BKG, popisat formalne jazyk ich prieniku, a urcit, ci ten prienik je BK a zostrojit prenho gramatiku (bol to ten priklad, co uz tu niekde je, kde vyjde, ze prienik je jazyk {a^i b^i c^i, i>=0}  
11. Zostrojte zasobnikovy automat prijimajuci spravne uzatvorkovanie nad abecedou {0, 1}. Moze byt automat deterministicky?  
12. Zadany KA nad {a, b}, urcite vsetky dvojpismenove slova, ktorymi sa vypocet moze dostat do nejakeho stavu. Ktore z tychto slov patria do L(A)?  
13. Zadany det. KA nad {a,  b}, urcite regularny vyraz, ktoreho hodnotou je jazyk daneho automatu (automat mal 3 stavy, stav 1 bol vstupny a jediny vystupny, odtial ackom na 2, z 2 beckom na 1 a stav 3 bol stoka) - vyslo mi nieco ako (ab)*  
15. Urcite, ci su zadane konecne automaty (X={a, b}) ekvivalentne (ten isty priklad, co tu uz bol - stacilo odstranit nedosiahnutelne stavy a ono vysli dve 6-stavove kruznice so sluckami pismena b na kazdom stave)  
  
(na jeden priklad si nejak bohuzial nemozem spomenut)  
  
Kedze som mal trojku, nebudem tu svoje riesenie radsej uvadzat:) Vacsina tu uz asi je. Dufam, ze aj tak to niekomu pomoze.
<{/ForumPost}>

<{ForumPost(poster="laliebijard", timestamp=2006-05-30 12:46:53)}>

 > Isidor wrote:No tak [ako tak pozeram](http://kti.mff.cuni.cz/~bartak/automaty/vysledky/vysledky29_05.html), uspesnost vcera nic moc...

Ale to ani na predtermine teda...
<{/ForumPost}>

<{ForumPost(poster="hydrant", timestamp=2006-05-30 23:33:06)}>
jasne ze pomohlo, vrela vdaka
<{/ForumPost}>