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