Wie kann man beweisen, dass reguläre Sprachen unter dem linken Quotienten geschlossen sind?

13

Σ = { a , b } L w Σ * w - 1 L : = { v | w v L }L ist eine reguläre Sprache über dem Alphabet . Der linke Quotient von bezüglich ist die Sprache Σ={a,b}LwΣ

w1L:={vwvL}

Wie kann ich beweisen, dass regulär ist?w1L

Corium
quelle

Antworten:

15

Angenommen, ist eine deterministische endliche Zustandsmaschine, die L akzeptiert . Führe das Wort w in M ein , wodurch du in einem Zustand q landest . Konstruiere eine neue Maschine M ', die die gleiche ist wie M, aber den Startzustand q hat . Ich behaupte, dass M ' w - 1 L akzeptiert .MLwMqMMqMw-1L

Jetzt beweise es.

Dave Clarke
quelle
w-1
Lw
(ein+b)(ein+b)L
@corium: Ich weiß nicht, was deine letzte Aussage bedeutet.
Dave Clarke
1

wXLXu1(w1L)=(wu)1Lw1LLLw1L

StefanH
quelle