Ein Zustand q heißt erreichbar, falls \(\exists w \in \varSigma^*: a: q_0 \rightarrow^w q\)
Regulär
Äquivalenzklassen
Geben Sie Suchbegriffe oder einen Modul-, Klassen- oder Funktionsnamen ein.
