Bemerkung zu Reg. Ausdr.

Wie beweist man w∈L(X) mathend000#?

(Wort w mathend000# gehört zur Sprache eines regulären Ausdrucks X mathend000#)

Beispiel: w = abba, X = (ab*)* mathend000#.

w = abba = ab2ab0ab*ab*⊆(ab*)2⊆(ab*)* mathend000#.



Johannes Waldmann 2014-03-31