Ich habe DFA aus einem bestimmten regulären Ausdruck erstellt, um mit der Testzeichenfolge übereinzustimmen. Es gibt einige Fälle, in denen.* tritt ein. ( zum Beispiel.*ab ). Angenommen, die Maschine befindet sich jetzt im Status 1. Im DFA wird.* bezieht sich auf den Übergang für alle Zeichen zu sich selbst und einen weiteren Übergang für a aus dem Zustand 1 für 'a'. Wenn die Testzeichenfolge 'a' enthält, was könnte dann der Übergang sein, da die Maschine von Status 1 in zwei Status wechseln kann, die in DFA nicht möglich sind.