fixed nfa_initialState() declaraction