Ableitungen (3)

Syntax (einfacher) regulärer Ausdrücke:

• elementar reguläre Ausdrücke

  Buchstabe, leeres Wort, leere Menge

• zusammengesetzte reguläre Ausdrücke

  Vereinigung, Verkettung, Wiederholung

definiere durch Rekursion über diese Syntax

• Prädikat E(X), Spezifikation: E(X)ε∈Lang(X)
• Nachfolger ,

  Spezifikation: Lang() = {w | a⋅w∈Lang(X)}