initial state must be a start state