VESM Finite tote mathine +h Ep5:Jon tans {Dn
's Called
Calea
W A thanSition toh an emphy input String
an taonSition, T e e is aansi tien nom
a
me
LOhod any input S
talle
Cno theh State
Ctangiti on
C
al Cept
Com ponont
Cauting 5
a uintuple ind
E-NFSM ho 5 tuple
M= . Z, 8. , F)
nte Set S t o t
&- non empty
alphobek
2 -non empsy. inite Set o
dunttim
S- X (zue)to a e t s taarjitim
Gx EUE) o ". Beoed
Lohh is hnoppng dom
tere an be a tranyi hi m
State
he wnt
on
coit a 9out lp boly
to ohe Shotes
o-Stont Sate
State
FCa > tinal
F -
2,9)-L2.}, J(,¬){E, 2,}
a l ,, , FCto,)=}, F(2,b):{, t)
Sa.bcy
J,,E)-2 , Jt)-
2o
F 20, c)=, ,a)=g
Sla), Jle,,b)=
2¬)=
(
Sab e
, ,1 9 ,2
t.
CongiStng
CongiSbn'n
h'h accept Stun
Stuing
- N SM
obtoun 2 a d a M o e bs
2eo
MOebs
G MOe a's douosed by
c's
CS.
followed b
by zero a moae
aCeept
M (A, ,S, lo, )
lto, 2,,2:9 t,,b), i(2,t)-t
Z:la,b c
Sa
to 2 |
E-cL0SURE
ECLoSE (2) *s h
2
denoted by
De T h e E- CloSURE eachable dnom 7 m
Staty cohih a
Set a l l
E-tnoanitionSs 0m
COing recuoiona
Tt is e Cusively deined
fhou9n beloro:
in ECLOSECe)
ie EcLosELa) 2 :
State e is
here is thangrtion
p id
a
i d ECLoSEe) xlair
h Jaheled E, hhen S take
daon State P o State
s cuoo in ecLose C2).
eg e-CLOSDRE (2) fa each 2¬ is
a C
Sio>2)
b,E
atept
ECLOSE (o)2, 2,tj
ECLoSE (t) *{e1, T
ECLoSE C) ={2,
e-nFSm to Sttings (S)
Strirgs (5
thans7tion dantim
Eatended
" deslu be ohat
deslsu'be
ertended
taandition dun chim
De The
mothinee
m thine
tshen
9hen eHe P is
i|p St9in
is aa Sting.
Stote
aa eatended
e tended
hoppen
happery
E-nfSM,
th
he an
Let
Let M 6, 2, F) .
ar
S x[zUEÝ t
thondi tion duncbionS
m
unti
trangi bim
eended
Poopenti
SC,E) : ECLOsE(a) L9hu W:Ka|
Eloe(i( Ce,),))
"(t,xa)
Ce, have WEa
a)-Eciose(sCaa) 2)) :
s C ) 8"(e, =
DFSM
Conveisiem dnom
E-vESM to
o
E-NFSm
to
tDFDFSm
Sm
Convet
To
Algoi hm
het Me z,s , F)
DFSM
MD b Z, Sh» lo, b)
the Staut Stake FSM
Step f: 14 o
Stalf Stale DFSM
rCLOSE (2.) 's fhe
oD ECl osE(9,)
het 42i,t; 29
j
ta DFSm, het ; , t ;
C o r n p u d et
- te
ansi tio1s
tep 3
Step a Cornpue te
thansibion daom
S Stoctein
FSM, He n
is
a e
sp(tt, 23,a)
St ocde
on
d hoLOnouon belo9
Cempuat e
n . ) P , Pa , PPo-
het ({a, 2,
take EClosE{Pr,Pa Py)
hen
ECloSE{P, P
d t,,2 } .a) -
DESM i d tu's
ia
State
E -nM
E-nFSM
S a
Step 3 ne dihal
State
State
Aeoot
at
a
Set Cod cuny
Set Stete
Stete
DFSM
DF Sm.
inad
inal
i's a
ten i ,j?j) .
,
epui Vaent DFS
epuivalent
DFSM
to Pt's
tS
N
NfF
SSnM
m
Hhe dollooin
dolloorng
Convert
a Cce
tot()-
Sl State
Stad Stote
he
Step i I d enbdy State
State
E-noFSm
E-F Hon
Stct
is t t
Here
H er O Sta
Stad od DESM, i+e
DFSM,i'e
tout
tts
kCloSE(o) ?s
-(A)
ECLOSE (o) {o3
t tang bions.
Step Find
Considen he St ate H:
P b
)p is
a: =ECLOSEJE(A. b)
hen
8 (A, b)
&A,a) ECLOSE lseA,)) ECLoSE(Je(0, b
ECLoSE Ue lo,a))
B: p b
Cordid t State
p a
s8.b)- ECloSt Jel3,4))
ECLoS E S e l 1 , 6 )
s(8,a)- EelLose(fe(e,) E CLOSEl)
ECLOSEe(t,a)
2,3,4,6,94 C
Conside State C:
p b
lp a C,b)=Ectase (delc,)
f(c,a)= EctLoSE (JElGa)
EcLosE de e.3,4,69),
ECLOSE(e (3,3,u,61),a)
ECLOSt ( ?)
ECLoSEL5 {a,8,3,4,6,9
-f5,8, 3, ,6,93
43,H,G, ?, 3,2 E
3, , 5, 6 8,99
CorJide Hhe Stode D FP: b
ilp a
D.a)- EcloSe (se(D.a) (D,b- Ecose (SelD,á)
ElLoSEd e3,4,54,8,9))
ECLOSE (El3,5,6,8,4), ECLDSEC7)
ECLoSE (5)
=8,9, 3,M,6
{5,8,9, 3,4,64
{3,4,5, G8, -D) 3,H6,+,8,1 -2
e r Congide) a t e t
PP
SE.)-Eeose(be(E
dalE,a)- Ecuofe (de (E) -ECLoSse3,»,6,,89)9)
EeSE (Je (3,4,6,7,3,),)
ECLoSE ( )
ECtoSE (5)
3,4,6,78,9 E)
3 , a,5,6.8.43-b)
1ansi tion Table
a
a b
A
B C
C D E
D D E
DE
inin Stoke
tase e
So q is Pepent
In NSm 9.is a dina State,
in DFSM.
C,D& E, Hee ae dnal Stet
