Stránka 1 z 1

zkouska 22.06.2009 Bartak

Napsal: 22. 6. 2009 21:28
od Kubees
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)