erreichbarer Zustand

Definition

Ein Zustand heißt erreichbar, falls es ein Wort $w\in {\Sigma }^{\ast }$ gibt mit $\hat{\delta }(q_s,w)=p$