Eine nicht deterministische Xor-Automate (NXA) ist syntaktisch eine NFA, aber ein Wort wird von NXA akzeptiert, wenn es eine ungerade Anzahl von Akzeptanzpfaden aufweist (anstelle von mindestens einem Akzeptanzpfad im NFA-Fall). Es ist leicht zu erkennen, dass es für eine endliche reguläre Sprache...
Restliche Automaten mit endlichen Zuständen (RFSAs, definiert in [DLT02]) sind NFAs, die einige nette Merkmale gemeinsam mit DFAs haben. Insbesondere gibt es immer einen kanonischen RFSA mit minimaler Größe für jede reguläre Sprache, und die Sprache, die von jedem Zustand im RFSA erkannt wird, ist...
Brzozowskis Algorithmus zum Umwandeln eines DFA in einen äquivalenten DFA mit minimalem Zustand ist bemerkenswert einfach: Wenn die NFA bezeichnet, die durch Umkehren aller Kanten in einem DFA wird, wird der alte Startzustand zu einem akzeptierenden Zustand und der alte akzeptierende Zustand...