Read First: State Machine, State Transition Rule Moore machines have operations executed on its state types. The operation does not execute if the control condition fails for the transition.