make FSM order idiomatic with automata notation