Der Faktorautomat

Der Faktorautomat

Es zeigt sich, dass zu jedem endlichen Automaten ein äquivalenter minimaler endlicher Automat existiert, auf den sich der ursprüngliche endliche Automat reduzieren lässt. Dieser minimale endliche Automat wird als Faktorautomat bezeichnet. Der Faktorautomat besitzt die Fähigkeit, dass alle Automaten, die sich auf diesen Faktorautomaten reduzieren lassen, äquivalente Automaten sind.

Ein weiterer Vorteil des Faktorautomaten ist, dass der Faktorautomat eindeutig bestimmt ist und sich mit einem Algorithmus in endlich vielen Schritten konstruieren lässt.