Steps (CdM)

States

Transition

c d M 0 [ 5,1,0,0,1,0,0,0,1,0,0 ]

e0

-

c d M 1 [ 5,0,1,1,1,0,0,0,1,0,0 ]

e1

tr1

c d M 2 [ 5,0,1,0,0,1,1,0,1,0,0 ]

e2

tr2

c d M 3 [ 5,0,1,0,1,1,0,0,1,0,0 ]

e2

tr3

c d M 4 [ 5,0,1,0,0,1,1,0,1,0,0 ]

e2

tr4

c d M 5 [ 5,0,0,0,0,0,1,1,1,0,0 ]

e3

tr5

c d M 6 [ 5,0,0,0,0,0,1,0,1,0,1 ]

e4

tr6

c d M 7 [ 5,0,0,0,0,0,1,1,0,1,0 ]

e5

tr7

c d M 8 [ 5,0,0,0,0,0,1,1,1,0,0 ]

e 6 e 3

tr8