Read First: State Machine, State Transition Rule A Mealy machine has operations executed on its transitions that are executed when an event triggers a transition. The operation executes even when the control condition fails and the transition is aborted.