start state indicator in constructing nfa