Added start state and accepts.