Вы можете преобразовать этот DFA в эквивалентный NFA, добавив новое начальное состояние, которое ε-переходит в старое начальное состояние, а затем добавив новое принимающее состояние с ε-переходом из старого принимающего состояния. Таким образом, вам не нужно иметь дело со случаем, когда состояния запуска и принятия совпадают, и при этом вы не изменили язык автомата.