# zkouska 22.06.2009 Bartak

<{ForumPost(poster="Kubees", timestamp=2009-06-22 21:28:42)}>
Ahoj, takze moje dnesni zkouska:  
  
kviz celkem pohoda, stare zname priklady...  
  
Testove otazky:  
  
1. Vytvorte konecny automat prijimajici jazyk L = {w| w e(a,b)* , kde pocet a = 3k a zaroven pocet b != 3k+1}  
2. Definujte podilovy automat.  
3. Definujte automatovou kongruenci.  
4. Formulujte a dokazte vetu o vytvoreni podiloveho automatu.  
  
Automat je trivialni (3x3 stavy pro a,b mod 3) a otazky jsou primo ze slidu, jen skoda ze jsem se vic neucil. :(   
  
Dal jsem spravne dohromady automat a kongruenci, ale co je to ten podilovy automat jsem si ani nevzpomnel. Na ustni Bartak rekl, ze je to kolem trojky a dal mi at napisu vetu o homomorfismu (opet ze slidu). Tu jsem dohromady nedal, takze K.O.  :arrow:  adios.  
  
Jinak obecne jsem ho behem zkousky slysel nekolikrat rikat ze na trojku je potreba znat definice, na jednicku dukazy.  
  
Good Luck vsem ostatnim i sobe u dalsich pokusu.  8)
<{/ForumPost}>