Zur Redundanz von endlichen Automaten