He hecho DFA a partir de una expresión regular dada para que coincida con la cadena de prueba. Hay algunos casos en los que.* ocurre. ( por ejemplo.*ab ). Digamos ahora que la máquina está en el estado 1. En el DFA,.* se refiere a la transición de todos los caracteres a sí misma y otra transición para a del estado 1 para 'a'. Si la cadena de prueba contiene 'a', ¿cuál podría ser la transición porque desde el estado 1, la máquina puede pasar a dos estados que no es posible en DFA?