Σ = { a , b } L w ∈ Σ * w - 1 L : = { v | w v ∈ L } ist eine reguläre Sprache über dem Alphabet . Der linke Quotient von bezüglich ist die Sprache
Wie kann ich beweisen, dass regulär ist?
Σ = { a , b } L w ∈ Σ * w - 1 L : = { v | w v ∈ L } ist eine reguläre Sprache über dem Alphabet . Der linke Quotient von bezüglich ist die Sprache
Wie kann ich beweisen, dass regulär ist?
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 .
Jetzt beweise es.
quelle