Zrobiłem DFA z danego wyrażenia regularnego, aby dopasować ciąg testowy. Istnieją przypadki, w których.* występuje. ( na przykład.*ab ). Powiedzmy, że maszyna jest w stanie 1. W DFA,.* odnosi się do przejścia dla wszystkich znaków na siebie i innego przejścia dla od stanu 1 dla „a”. Jeśli ciąg testowy zawiera „a”, to co może być przejściem, ponieważ ze stanu 1 maszyna może przejść do dwóch stanów, które nie są możliwe w DFA.