Id: reduz.tex,v 1.1 2007-10-31 17:50:50 waldmann Exp
Ein Zustand q eines Automaten A heißt
A heißt reduziert, wenn alle Zustände nützlich sind.
Satz: Zu jedem Automaten A gibt es einen reduzierten Automaten B mit L(A) = L(B).
Beweis:
erst A auf erreichbare Zustände einschränken, ergibt A',
dann A' auf produktive Zustände einschränken, ergibt B.