zkouska 22.06.2009 Bartak

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)