Equivalence of NFA_omd DFA
RDFA Com. Sumulali dhe bahovier. of NFA ‘menaonir
mumber of stakes fe,
a if Lb set occepled hy NFA,
thom. there exists pd chich Loo acceph L.
Theorem: let Lhe a set acce pled
Thon there exishe o DFA
accepts Lie, LOM)= LCM’)
WFAA,
Chih
Proofs We com. constreu.
Qiver. wea
cha DFR fy o
let M= ,7,8,40,F) be om NEA aceep ing 1
WE conmbcuc DFA M! on bllews Mees s!
Ooharee . a oF
a) o= 2° (omy Stole. in 8 in denoted tau [04M
YD, coher OY Me. ce),
di) %= Tae]
Gi) F/& he Sek of all subsel
s of G Corban
Om. elaments” of F..
avy s'Cla, Pay G10) =8Cy mo va, a) U...
equivlently Cae Ula = OLY
GE SCEY +» ARa= 5 Py Payee Piz i
Th Ww emy be Show by induchon on
the lung te 8/60, %) & [yg UY
4b Bem)= $9 Aaj 4
Bovis. the resull tn Cine Gore \l£0, Sime,
%W=[A6] ond wml be N.
Scanned with CamScannerTInrduahon:
Suppoe Ahab the hypothesis b tme for
impos of Lang th am ort lens, lh ao oe
String of Lama. m+) wih OEE Yon
81 Cag node 8(8'CA0 ,*),)
hypothanis . Sas 1 =LP, Pay Bi]
ifs SCe,%)= 5 Pare BFR
Thom Bae Xe) = trey oR]
br 8 Ge xa)= 4% Maye
BOu x bimer’ exoucdy shen S@0,x)
Couloine a site of & 4tnok wt iE
Thin » LOM)=LCM’)
J There e€xists a DER equivalent be
NFA
Scanned with CamScanner