Folien

2.21 Definition
◮ Alphabet A enthalte keines der fünf Zeichen aus
Z = {|, (, ), *, O/}
◮ regulärer Ausdruck über A: Zeichenfolge über Alphabet A ∪ Z,
die gewissen Vorschriften genügt.
◮ Die Menge der regulären Ausdrücke ist wie folgt festgelegt:
◮ O/ ist ein regulärer Ausdruck.
◮ Für jedes a ∈ A ist a ein regulärer Ausdruck.
◮ Wenn R1 und R2 reguläre Ausdrücke sind,
dann auch (R1|R2) und (R1R2).
◮ Wenn R ein regulärer Ausdruck ist, dann auch (R*).
◮ Nichts anderes sind reguläre Ausdrücke.
(Nur das, was man in
◮ endlich vielen Schritten
◮ aus den atomaren regulären Ausdrücken
◮ gemäß obigen Regeln
konstruieren kann.)
Reguläre Ausdrücke 34/124