Reguläre Sprachen, reguläre Ausdrücke - Links

Theorie ERE BRE
Wildcard
Shell SQL
leere Menge Ø (fehlt) (fehlt) (fehlt) (fehlt)
einzelnes Zeichen a a a a a
Konkatenation (Hintereinanderschreiben) xy xy xy xy xy
Alternative, Vereinigung x | y x | y (fehlt) (fehlt) (fehlt)
Klammer ( . . . )
( ...
)
\( ...
\)
(fehlt) (fehlt)
Rückverweis [S.17] auf Inhalt der i-ten
Klammer
(fehlt) (fehlt) \i (fehlt) (fehlt)
einzelnes Zeichen [S.11] aus endlicher Menge a | b | c [abc] [abc] [abc] (fehlt)
einzelnes Zeichen [S.11] nicht aus endlicher
Menge
(fehlt) [^abc] [^abc] [!abc] (fehlt)
beliebiges einzelnes Zeichen (fehlt) . . ? _
beliebiger Text (fehlt) .* .* * %
Kleenescher Abschluss (0..?-fache
Wiederholung)
x* x* x* (fehlt) (fehlt)
optionaler Teilausdruck (0..1-fache
Wiederholung)
( | x) x? (fehlt) (fehlt) (fehlt)
1..?-fache Wiederholung xx* x+ xx* (fehlt) (fehlt)
m-fache Wiederholung (fehlt) x{m} x\{m\} (fehlt) (fehlt)
m..n-fache Wiederholung (fehlt) x{m,n} x\{m,n\} (fehlt) (fehlt)
m..?-fache Wiederholung (fehlt) x{m,} x\{m,\} (fehlt) (fehlt)
Erläuterungen zur Tabelle:
8
Der Begriff "Wiederholung" wird hier so verwendet, dass damit nicht Wiederholungen zusätzlich
zu einem Original gemeint sind, d.h. eine 5-fache Wiederholung von a ist ein String von fünf,
nicht von sechs a.
Der gelb unterlegte Teil der Tabelle zeigt den Bereich an, in welchem sich die Unterschiede [S.6]
zwischen Shell-Namensmustern einerseits und ERE/BRE andererseits befinden.
Die zur Darstellung aller regulären Sprachen notwendigen Sprachmittel sind hellgrün unterlegt
(außer in den gelben Bereichen). Man sieht daraus, dass nur ERE die Bezeichnung "reguläre
Ausdrücke" verdienen, während mit allen anderen Notationen nur ein Teil der regulären Sprachen
dargestellt werden kann. Das rot unterlegte Feld deutet an, dass mit dieser Notation die Menge
der regulären Sprachen überschritten wird.
Die hellblau unterlegten Teile sind Abkürzungen für solche Ausdrücke, die zwar nur geringes
theoretisches Interesse wecken können, aber in der Praxis oft vorkommen, z.B. a{2,4} als
Abkürzung für aa|aaa|aaaa.