transitionRule contains a map of TransitionRules that is keyed by a Pair of state,event This will be the most common transition rule.