Erreichbare Zustände endlicher Automaten

Endliche Automaten: Erreichbare Zustände

Ein Zustand eines endlichen Automaten heißt erreichbar, wenn über die Überführungsfunktion und unter Eingabe eines Wortes aus der akzeptierten Sprache dieser Zustand erreicht werden kann.

Im gegengesetzten Fall heißt der Zustand nicht erreichbar.