# Zkouška 17.6. 2009

<{ForumPost(poster="beny", timestamp=2009-06-17 19:16:41)}>
Ahoj!  
Kdyz dnes pred zkouskou docent Bartak rikal, at davame pozor na detaily, rikal jsem si, ze uz snad v testu nic neprehlednu, ale mylil jsem se  :)  Clovek to fakt musi cist do mrte. Malou ukazkou me nepozornosti budiz kvizova otazka:   
Jazyk L<sup>+</sup> je roven:  
a)neco spatne  
b)neco spatne  
c)neco spatne  
d) sjednoceni L<sup>i</sup> od 0 dale.  
Ted to mozna nevypada jako neco, co by clovek opravdu znaly prehledl, ale ten index a cislo pod sjednotitkem je tak mrnavy :) Navic se tahle otazka lisila od jedne uz zname jen tou nulou misto jednicky...  
  
Jako priklad jsem dostal napsat gramatiku pro jazyk L = {a<sup>i</sup>b<sup>j</sup>c<sup>k</sup> | i<=j<=k}, tedy vcelku lehky priklad. Pak jsem mel urcit, do jake nejmensi skupiny jazyku patri a dokazat to (pumping lemma pro BKJ). Gramatika byla kontextova. Dale jsem mel definovat monotonni a kontextovou gramatiku a dokazat tvrzeni, ze k libovolne monotonni se da najit ekvivalentni kontextova gramatika. Nakonec se me jeste zeptal na zneni pumping lemmatu pro BKJ.
<{/ForumPost}>