Odovzdávacie domáce úlohy #5 a #6

Tieto úlohy má každý z vás vyriešiť a riešenie odovzdať v písomnej forme do krabice pred sekretariátom KI (pavilón M, 2. poschodie) DO PONDELKA 28. 10. 2002 8:05. Každá z nich bude hodnotená 3 bodmi. Riešenie každej úlohy píšte na samostatný papier!

Zjednotenie značíme u, prienik ^, doplnok C.

Úloha #5

Je daný nedeterministický konečný automat A=(K,Sigma,delta,q1,F) nasledovne: K={q1, q2, q3, q4, q5, q6, q7}
Sigma={a,b}
F={q5}
delta(q1,epsilon)={q2}
delta(q1,a)={q3}
delta(q1,b)={}
delta(q2,epsilon)={q5, q6}
delta(q2,a)={q3, q4}
delta(q2,b)={}
delta(q3,epsilon)={q4}
delta(q3,a)={}
delta(q3,b)={q2}
delta(q4,epsilon)={q7}
delta(q4,a)={q5}
delta(q4,b)={q6}
delta(q5,epsilon)={}
delta(q5,a)={}
delta(q5,b)={q3}
delta(q6,epsilon)={}
delta(q6,a)={q7}
delta(q6,b)={}
delta(q7,epsilon)={q5}
delta(q7,a)={}
delta(q7,b)={}

Štandardnou konštrukciou k nemu zostrojte ekvivalentný nedeterministický konečný automat bez prechodov na epsilon.

Úloha #6

Nech A je ľubovoľný nedeterministický konečný automat bez prechodov na epsilon. Nech A' je deterministický konečný automat ekvivalentný automatu A zostrojený štandardnou konštrukciou z prednášky. Formálne dokážte, že naozaj platí L(A)=L(A'). Je potrebné poriadne dokázať obe inklúzie.