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

Situation
Beurteilung des Textes
bei Textende in dieser Situation
Situation nach
[’] ["] [\] [^’"\]
U unmaskierter Text Text in Ordnung A Q B U
A in Apostrophen schließender Apostroph fehlt U A A A
B nach Backslash außen
Q in Anführungszeichen
R
nach Backslash in
Anführungszeichen
Text endet mit Backslash als
Maskierungszeichen
schließendes Anführungszeichen
fehlt
schließendes Anführungszeichen
fehlt
U U U U
Q U R Q
Q Q Q Q
Diese Tabelle liest sich so: anfangs befinden wir uns im unmaskierten Text, also an einer Stelle, an der
alle Apostrophe und Anführungszeichen noch nicht geöffnet oder aber schon wieder wieder
geschlossen sind; diesen Fall kürzen wir mit U ab. Kommt dann eines der drei Maskierungszeichen, so
verändert sich auf jeden Fall die Situation;
die drei neuen Situationen kürzen wir mit A (für Apostroph), B (für Backslash) und Q (für
Anführungszeichen, engl. "quote") ab. Die folgenden drei Tabellenzeilen machen dann Aussagen über
die jeweils dort entstandene Situation. Man mache sich die übrigen Tabellenzeilen ebenso klar.
Wenn man eine solche Tabelle anlegt, stellt man auf jeden Fall sicher, dass man keine möglicherweise
auftretende Situation vergisst. Im Zweifelsfall ist es besser, mehr verschiedene Situationen zu
unterscheiden; man kann sie ja nachträglich noch zusammenfassen, wenn sich herausstellt, dass in
ihnen jeweils dieselben nächsten Zeichen dieselben Reaktionen auslösen.
Diese Tabelle können wir natürlich auch grafisch darstellen, und mit unserem mittlerweise erworbenen
Wissen über endliche Automaten erkennen wir, dass eine Tabelle wie diese nur eine alternative
Schreibweise für einen endlichen Automaten darstellt. Die Umwandlung eines endlichen Automaten in
einen regulären Ausdruck ist für uns inzwischen eine leichte Standardaufgabe: in diesem einfachen
Fall genügt sogar das vereinfachte Verfahren, das im Abschnitt [S.33] über diese Umwandlung zuerst
dargestellt wurde. In wenigen Schritten sind wir bei einem regulären Ausdruck:
36
von Q einmal über R nach Q zurück: [\].
von Q nach Q, alle Wege nicht über U: ([^"\]|[\].)*
von U einmal über Q nach U zurück: ["]([^"\]|[\].)*["]