Die Zustandsreduktion unvollständiger deterministischer
Automaten vereinfacht sich im Falle der "Typ-A-Automaten"
von McCluskey zu einem Überdeckungsproblem von spezieller
Struktur. Solche "maximalen" Überdeckungen werden
allgemein definiert, und es wird für diese ein Reduktionsverfahren
hergeleitet. Eine hinreichende Bedingung für
Reduzierbarkei t sowie eine obere Schranke für die Mächtigkeit
einer Minimalüberdeckung werden angegeben.