transitions passed into the fsm constructor