Minimal Finite State Machine