Reguläre Ausdrücke

...über einem Alphabet $\Sigma$ ist die kleinste Menge E mit:

• atomare Ausdrücke:
  • für jeden Buchstaben x $\in$ $\Sigma$ : x $\in$ E

    (autotool: Ziffern oder Kleinbuchstaben)

  • das leere Wort $\epsilon$ $\in$ E (autotool: Eps)
  • die leere Menge $\emptyset$ $\in$ E (autotool: Empty)
• zusamenngesetzte Ausdrücke: wenn A, B $\in$ E, dann
  • (Verkettung) A ^. B $\in$ E (autotool: * oder weglassen)
  • (Vereinigung) A + B $\in$ E (autotool: +)
  • (Stern, Hülle) A^* $\in$ E (autotool: ^*)