Äquivalenz (\(\sim\))

Zwei Zustände q, q’ heißen äuqivalent, falls gilt:

\[\forall a \in \varSigma^*(\delta(q,w) \in F \Longleftrightarrow \delta(q', w) \in F)\]

Es gilt also \(q \sim q', a \in \varSigma \Longrightarrow \delta(q,a) \sim \delta(q',a)\).