A state machine description consists of a list of states.