1. A state machine that supports out-of-order processing of events, comprising: a memory to store information directed to transitions that are supported by the state machine; logic in communication with the memory, the logic to (i) determine if an incoming event is a transition, (ii) determine if the transition is out-of-order from a predetermined order of transitions supported by the state machine, (iii) determine if the out-of-order transition is to a reachable state that is either a state prior to a current state of the state machine or a future state from the current state of the state machine, and (ii) allow the transition to be undertaken if the transition is to the reachable state.