Äquivalenzklassen

Die Äquivalenzklassen DEA \(\overline{a}\) zu a sei definiert

\[\begin{split}&\overline{a} = (\overline{Q}, \varSigma, \overline{q_0}, \overline{\delta}, \overline{F}) \\ &\overline{Q} = \{ \overline{q} \mid q \in Q \} \\ &\overline{\delta}(\overline{q},a) = \overline{\delta(q,a)} \\ &\overline{F} = \{ \overline{q} \mid q \in F \}\end{split}\]

Bemerkungen

3. \(\overline{\delta}(\overline{q}, w) = \overline{\delta(q,w)}\)
4. \(\overline{a}\) ist äquivalent zu a