automaton::ExtendedNFAnewAutomaton(extendedAutomaton.getInitialState());// sure that q is neither initial nor final (follows from step 2 - extending ExtendedNFA)
automaton::ExtendedNFAnewAutomaton(extendedAutomaton.getInitialState());// sure that q is neither initial nor final (follows from step 2 - extending ExtendedNFA)