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.
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.