Неоднозначность при переходе: как обработать строку в NFA?

Я сделал DFA из заданного регулярного выражения, чтобы соответствовать тестовой строке. Есть несколько случаев, когда.* происходит. ( например.*ab ) Допустим, сейчас машина находится в состоянии 1. В ДФА,.* относится к переходу для всех символов к себе и другому переходу для a из состояния 1 для «a». Если тестовая строка содержит «a», то каким может быть переход, потому что из состояния 1, mac, hine может перейти в два состояния, что невозможно в DFA.

Ответы на вопрос(2)

Ваш ответ на вопрос