Mitar pravi:
Ampak zacetno stanje pa ostane enako.
Tako je! Če samo zamenjaš ustrezne krogce, potem vhodna puščica itak ostane na mestu.
Kako je sploh definirana razlika? To je avtomat, ki sprejema vse besede prvega avtomata, ampak ne sprejema besed drugega?
Tako je.
Si ti preprican, da je tako? Meni se zdi, da se to dela z unijami, preseki in komplementi:
Sem prepričan, ker smo to naredili na vajah. ;) Je Slivnik rekel, da je prav.
M1 - M2 = M1 presek (komplement M2) Presek pa smo naredili na vajah.
Verjetno je to tudi prav.
Zakaj bi S1 moral biti enak S2? Kaj ce imas avtomat, ki sprejema vse besede iz a, b ali c. In drug avtomat, ki sprejema vse besede iz a in b. Razlika je potem avtomat, ki sprejema vse besede iz c-jev. Ali pac?
V bistvu ni enak. S tem je nakazano samo to, da oba avtomata istocasno pojesta isto crko na vhodu.
D((q1,q2),a)=(D1(q1,a),D2(q2,a)) Z={ x | x element {Q unija epsilon} in hkrati x ni element F2 }Kaj je Z?
Z je tocno to, kar pise zgoraj. Tako je definiran. Vazno je, da drugi avtomat ne pride v koncno stanje takrat, ko prvi sprejme besedo
Simon -- Simon Striker Rusjanov trg 2 1000 Ljubljana +38641473856 Europe (Slovenia) E-mail: [EMAIL PROTECTED]
