Compatibility is not an equivalency relation. Minimum nite-state machine is not unique. Implication relations make problem intractable.
Theorem: { Two states are compatible i: they lead to identical outputs (when both are speci ed) and their next-states are compatible (when both are speci ed).