Ahoj Janka,
   
  vdaka :-D ale zachranila ma ustna, nie pisomna cast, keby sa pocitala len pisomna, tak som s odretymi usami na Ecko...
   
  Takze:
  prva otazka bola dokazat, ze bezkontextove jazyky su uzavrete na prienik s regularnymi (tj ze CF prienik R bude CF), ten som nemala vobec, ale v podstate islo asi o to, ze bolo treba si predstavit a ukazat to na dvoch automatoch, ktore pracuju na jednej paske, jeden bezkontextovo (ako PDA) a druhy regularne (ako KA). (10b)
  druha otazka - napisat kontextovu gramatiku generujucu slovo ww(w^R) pre w patriace {a,b}^2k (tu stacilo len napisat tie pravidla ako ked sme to robili na cvikach) (10b)
  tretia - popisat postup vytvarania definitivneho deterministickeho minimalneho automatu z nedeterministickeho s epsilonmi (tie epsilony si tam bolo treba domysliet). Tam chcela vidiet cely postup od odstranenia epsilonov z NKA cez prerobenie NKA na DKA, potom odstranenie nedosiahnutelnych stavov, samotnu minimalizaciu a nasledne prepisanie na definitivny minKA cez automativy homomorfizmus. Bolo toho vela, ale vacsinu zo mna vytiahla az pri ustnej, lebo nebolo hned jasne z otazky, ze to chce az takto podrobne. (13b)
  stvrta - dokazat a aplikovat na zadanu CF gramatiku s epsilonmi, ze CF gram. s a bez epsilonov je ekvivalentna a napisat, ako sa preraba (aky je algoritmus) CF s epsilonmi na CF bez epsilonov. Potom podla toho algoritmu prerobit tu zadanu gramatiku. (12b)
  piata - vysvetlit, ako vieme znamy nerozhodnutelny problem pouzit na dokazanie nerozhodnutelnosti ineho problemu. Ja som uviedla aj priklad, ale ten nepotrebovala, stacilo uviest princip. (5b)
   
  Takze tak. Mali sme 2hodiny, ale ako vravim, keby znamkovala len to, co som mala napisane, tak zrejme ani neprejdem, nietoze by som dostala Ccko... Bez chyby som vlastne mala len 2 a 5 priklad, 1 som nemala vobec a 3,4 som mala trochu schaosene, takze az pri ustnej sa ukazalo, ze to vlastne viem, len som sa domotala, nevediec, co vlastne sa odo mna chce. Hlavne ju zaujimalo, aby si rozumela principom, ale napr. v tom stvrtom priklade chcela vidiet aj formalny zapis toho algoritmu/dokazu, to som nemala, ale mozno, keby som ho tam mala dobre podrobne vysvetleny, tak by ani nebolo treba mat formalny zapis.  
   
  Drzim palce!
   
  Julia
  
Jana Siskova <jasis@inMail.sk> wrote:
  Ahoj Julka...gratulujem k foja..;)..si fakt dobra..;)
a chcem ta poprosit, ci by si mi nemohla napisat zadania ake ste mali..a ako to prebiehalo.. co vsetko chcela vediet..ako formalne museli byt zapisane dokazy a tak..;)..dakujem...
janka