Non Deterministic State Machine