Side-by-Side Composition

The components are

StateMachine_A = ( States_A , Inputs_A , Outputs_A, update_A, initialState_A)

StateMachine_B = ( States_B, Inputs_B, Outputs_B, update_B, initialState_B )

Let the composition be given by

StateMachine = ( States, Inputs, Outputs, update, initialState )

Definition of the composition:

• States = States_A ´States_B
• Inputs = Inputs_A ´ Inputs_B
• Outputs = Outputs_A ´ Outputs_B
• initialState = (initialState_A , initialState_B )
• update((s_A, s_B), (x_A, x_B)) = ((s'_A, s'_B), (y_A, y_B))

where

(s'_A, y_A) = update_A(s_A , x_A)

(s'_B, y_B) = update_B(s_B , x_B)

Stuttering element:

• stutter = (absent, absent)