siehe auch: Regex

Definition

Sei ein endlichee Alphabet.
Die Menge der regulären Ausdrücke über ist induktiv definiert:

  • (für ) sind Elemente von
  • Sind , so auch
    • ,
    • ,
    • .

Beispiel

Notation Reguläre Ausdrücke

Daher

Semantik regulärer Ausdrücke

Beispiel

Notation

Der Satz von Kleene
Reguläre Sprache