Find an nfa that accepts {$a$}* and is such that if in its transition graph a single edge is removed
(without any other changes), the resulting automaton accepts {$a$}.
Can this be solved using a dfa? If so, give the solution; if not, give convincing arguments
for your conclusion. (Question 17)