Reduzierter DEA

Ein DEA, der nur erreichbare und paarweise nicht-äquivalente Zustände hat heißt reduziert.

Zu jedem DEA existiert ein äquivalenter reduzierter

Der DEA a ist ein Automat mit minimaler Angabe von Zuständen (der L(a) erkennt)