FSM-to-Program Machine

State S1:

/doEntry-

Action(S1)

NextState(S1,e1)

NextState(S1,e2)

NextState(S1,e3)

State S1:

NextState(S1,e1)

NextState(S1,e2)

NextState(S1,e3)

e1/doExitAction(S1,e1)

e3/

doExitAction(S1,e3)

e2/doExitAction(S1,e2)

Moore State Model*

Mealy State Model**

*: E. F. Moore

**: George Mealy

As shown by the arguments of the Action and NextState functions above,

(1) In a Moore model, actions depend on the state only, not the event causing a state transition.

(2) In a Mealy model, actions depend on both the state and the event causing a state transition.

We assume the transition is instantaneous, so the action occurs at the (simultaneous) time

of exit from original state and entry to the destination state.

(3) The NextState function depends on both the current state AND the event in both models.