qraymo Garden

Powered by 🌱Roam Garden

regulär

reguläre Sprache LL     \iff regulärer Ausdruck α mit L=L(α)L = L(\alpha)     \iff NEA AA, der L(α)L(\alpha) erkennt     \iff DEA A~\tilde{A}, der dieselbe Sprache wie AA erkennt

NEA \rightsquigarrow DEA - durch Potenzmengenkonstruktion

regulär