Binary-Decision Expansions:

S1: {

if (e==e1) {doExitAction(S1,e1);

NS=NextState(S1,e1);}

elseif (e==e2){doExitAction(S1,e2);

NS=NextState(S1,e2);}

else {doExitAction(S1,dflt);

NS=NextState(S1,dflt);}

}

Mealy-model with event-dependence

hidden inside a Moore model:

(The event-driven behavior is not visible on single-node diagrams).

case(e1): do ExitAction(S1,e1);

NS1=NextState(S1,e1);

case(e2): do ExitAction(S1,e2);

NS2=NextState(S1,e2);

default: do ExitAction(S1,dflt);

NS3=NextState(S1,dflt);

e2 [&& !e1]

Default [ = (!e2&&!e1)]

S1a

S1b

S1c

!e1

!e2

[Fail-exit impossible: default cannot fail]

[Actions depend on prior state,

whether done at exit or entry]

Same model with state split into

binary if/elseif../else decisions

NS==?

NS1

NS2

NS3