Folien

2.23 Definition
Von regulärem Ausdruck R beschriebene formale Sprache 〈R〉:
◮ 〈O/〉 = ∅ (leere Menge).
◮ Für a ∈ A ist 〈a〉 = {a}.
◮ Sind R1 und R2 reguläre Ausdrücke, so ist
〈R1|R2〉 = 〈R1〉 ∪ 〈R2〉.
◮ Sind R1 und R2 reguläre Ausdrücke, so ist
〈R1R2〉 = 〈R1〉 · 〈R2〉.
◮ Ist R ein regulärer Ausdruck, so ist 〈R*〉 = 〈R〉 ∗ .
Falls w ∈ 〈R〉 ist, sagt man auch
„w passt zu dem Muster R“ oder „R matcht w“.
Reguläre Ausdrücke 38/124