Connections summary
reguläre Sprache LLL ⟺ \iff⟺ regulärer Ausdruck α mit L=L(α)L = L(\alpha)L=L(α) ⟺ \iff⟺ NEA AAA, der L(α)L(\alpha)L(α) erkennt ⟺ \iff⟺ DEA A~\tilde{A}A~, der dieselbe Sprache wie AAA erkennt
NEA ⇝\rightsquigarrow⇝ DEA - durch Potenzmengenkonstruktion
Sprache ist regulär :⇒:\Rightarrow:⇒ EA konstruieren