Myslim, ze prvy a dufam, ze nie posledny krat mala parda 100%-nu uspesnost..;)..
boli sme na skuske len ja a dada.. a obidve sme urobili..;)))))
ale dala celkom fajn priklady...az na pda->gramatiky..
tak zadania boli taketo:
1. Mame jazyk L=L(LOA) a jazyk R=L(KA), konstrukciou LOA dokazte ze CS je uzavreta na operaciu INS, kde INS(L,R)={uwv patri  sigma*| w patri L a uv patri R }

2. Napiste cs {a^nb^{2^n}, n>=0}

3.Popisat postup vytvarania deterministickeho minimalneho automatu z nedeterministickeho. (na ustnej sa pytala ku konkretnym krokom ze ako, napisane to nemuselo byt.)


4. Ku kazdemu PDA ex. ekvivalentna cf gramatika.

5. Napisat algoritmus, ktory pre dany konecny automat zisti, ci jazyk nim generovany je prazdny/konecny/nekonecny



Takze vela stastia na skuske...(Naucte sa nerodovu vetu dokazat...to este nedala..;) )

Janka.

.