Mealy-to-Moore Conversion

State S1:

NextState(S1,e1)

NextState(S1,e2)

NextState(S1,e3)

e1/doExitAction(S1,e1)

e3/

doExitAction(S1,e3)

e2/doExitAction(S1,e2)

Mealy State Model**

*: E. F. Moore

**: George Mealy

S1: (action

deferred)

S11: doEntry-

Action(S11)

S12: doEntry-

Action(S12)

S13: doEntry-

Action(S13)

e1

e2

e3

NextState(S1,e2)

NextState(S1,e1)

NextState(S1,e3)

e0=NULL

e0=NULL

e0=NULL

Mealy-to-

Moore model

conversion:

Add one state S(s,e) per transition, and define:

Entry-Action(S11) = Exit-Action(S1,e1)

Entry-Action(S12) = Exit-Action(S1,e2)

Entry-Action(S13) = Exit-Action(S1,e3)

The transitions under e0=NULL are immediate.

(Requires at most one new state per transition)

Moore State Model:

Previous slide

Next slide

Back to first slide

View graphic version