mathend000#?
(Wort w
mathend000# gehört zur Sprache
eines regulären Ausdrucks X
mathend000#)
- wenn
X = X1 + X2
mathend000#:
beweise
w∈L(X1)
mathend000# oder beweise
w∈L(X2)
mathend000#
- wenn
X = X1⋅X2
mathend000#:
zerlege
w = w1⋅w2
mathend000#
und beweise
w1∈L(X1)
mathend000#
und beweise
w2∈L(X2)
mathend000#.
- wenn X = X1*
mathend000#:
wähle einen Exponenten
k∈
mathend000#
und beweise
w∈L(X1k)
mathend000# (nach vorigem Schema)
Beispiel:
w = abba, X = (ab*)*
mathend000#.
w = abb⋅a = ab2⋅ab0∈ab*⋅ab*⊆(ab*)2⊆(ab*)*
mathend000#.
Johannes Waldmann
2014-03-31