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.