Fiz o DFA de uma determinada expressão regular para corresponder à string de teste. Existem alguns casos em que.* ocorre. ( por exemplo.*ab ). Digamos que agora a máquina está no estado 1. No DFA,.* refere-se à transição para todos os caracteres para si e outra transição para a partir do estado 1 para 'a'. Se a sequência de teste contiver 'a', então, qual poderia ser a transição porque, a partir do estado 1, a máquina pode ir para dois estados que não é possível no DFA.