Regular Sprachen

Question

Ich habe über viele Foren kommen, wo sie feststellen, dass die Sprache, die von

vertreten

L = {WW ^R | W ^R ist das Gegenteil von W und W gehört (0,1) ^*}

ist nicht regulär. Und es wurde auch durch das Lemma-Pumpen bewiesen.

ABER ich bin in der Lage, einen REGELMÄßIGEN AUSDRUCK FÜR DIESE zu schreiben, wo ich die gleiche Logik wie in this Link verwenden.
ÜBERPRÜFEN THIS:

(0 + 1) ^* 11 (0 + 1) ^* + (0 + 1) ^* 00 (0 + 1) ^*

Gibt es einen Fehler in der Logik? Oder etwas, das ich vielleicht vermisse. Vielen Dank im Voraus :)

Answer 1

(0+1) * 11 (0+1) * + (0+1) * 00 (0+1) * + (0+1) *   initial 
= (0+1) * 11 (0+1) * + ((0+1) * 00 (0+1) * + (0+1) *)  union is associative 
= (0+1) * 11 (0+1) * + (0+1) *        L u U = U (U is universe) 
= (0+1) *             L u U = U (U is universe) 

Ihr regulärer Ausdruck, der eine Vereinigung mit (0+1)* enthält, ist die Sprache, die alle Strings von 0 s enthält und 1 s und enthält die Zielsprache als echte Teilmenge. Ihre Sprache enthält neben anderen Zeichenfolgen, die nicht in der Zielsprache enthalten sind, die Zeichenfolge 01100.

Beachten Sie, dass ich + zu Union, Nebeneinanderstellung zu Verkettung und * bedeutet Kleene Schließung bedeuten.