A Finite State Machine Supporting Concurrent States