Nach Definition ist jeder Relation eine Verfeinerung der Vorgänger: .... Da die Trägermenge Q endlich ist, kann man nur endlich oft verfeinern, und es gibt ein k mit = =.... Wir setzen : = .
Konstruiere A' = (Q', S', F', T') mit
Satz: Wenn A vollständig und deterministisch,
dann ist A' ein kleinster vollst. det. Aut mit
L(A') = L(A).