def/concept (induktiv) Sprache ist regulär :⇔:\Leftrightarrow:⇔ sr f
Verankerung:
L=aL = {a}L=a mit a∈Σa \in \Sigmaa∈Σ oder
zug. DEA:
L=ϵL = {\epsilon}L=ϵ oder
L=∅L = \varnothingL=∅
dabei ∅\varnothing∅ - regulärer Ausdruck, der leere Menge beschreibt ⇝\rightsquigarrow⇝ L(∅)=L(\varnothing) = {}L(∅)=
Im Automatenbereich :≅:\cong:≅ EA akzeptiert nie (bzw. kein Wort)
{{TODO}} not sure - to check
nicht äquivalent zu L=ϵL = {\epsilon}L=ϵ oder
Induktion: Es gibt reguläre Sprachen L1,L2L_{1}, L_{2}L1,L2, sodass
L=L1⋅L2L = L_1 \cdot L_2L=L1⋅L2
NEA dazu:
L=L1∪L2L = L_1 \cup L_2L=L1∪L2
L=L1∗L = L_{1}^{*}L=L1∗
iuoQSW9En r/1
