siehe auch: Regex Definition Sei Σ ein endlichee Alphabet. Die Menge RegΣ der regulären Ausdrücke über Σ ist induktiv definiert: ∅,ε,a (für a∈Σ) sind Elemente von RegΣ Sind r,s∈RegΣ, so auch (r+s)∈RegΣ, (r⋅s)∈RegΣ, r∗∈RegΣ. Beispiel Notation Reguläre Ausdrücke Daher Semantik regulärer Ausdrücke Beispiel Notation Der Satz von Kleene Reguläre Sprache