Я сделал эту проблему 4 раза сейчас, и я получаю ту же ошибку в моем DFA.Так что это мой начальный NFA-эпсилон вверху на рисунке, и я прихожу к NFA-не-эпсилону на рисунке внизу.
Редактировать: 1 - это начальное состояние.Извините.
https://imgur.com/a/iMiqciy
Наконец, это итоговый DFA:
https://imgur.com/a/14oUihv
Проблема заключается в том, что строка 'aab' должна вызыватьчтобы перейти в мертвое состояние, но это не в моем полученном DFA, потому что в оригинальном epsilon NFA строка 'aab' приведет к смерти этой копии машины. Для строки 'aab', но в моем DFA она будет принята, и яЯ не уверен, где ошибка.
Кажется, это проблема с конечными состояниями, но я подумал, что независимо от того, были ли конечные состояния в NFA после объединения их, эти состояния, объединяемые с предыдущими конечными состояниями, также становятся окончательнымисостояния.