¿Cómo probar que los idiomas regulares están cerrados bajo el cociente izquierdo?

13

L es un lenguaje regular sobre el alfabeto . El cociente izquierdo de respecto a w \ in \ Sigma ^ * es el lenguaje w ^ {- 1} L: = \ {v \ mid wv \ en L \}Σ={a,b}LwΣ

w1L:={vwvL}

¿Cómo puedo probar que w1L es regular?

corium
fuente

Respuestas:

15

Supongamos que M es una máquina de estado finito determinista aceptar L . Introduce la palabra w en M , que te llevará a algún estado q . Construya una nueva máquina M que sea igual a M pero que tenga el estado de inicio q . REIVINDICACIONES que M acepta w1L .

Ahora pruébalo.

Dave Clarke
fuente
¿Es suficiente dibujar una máquina de estado finito no determinista que acepte L y para probar esto? w1
corium
@corium: No. Tendrá que hacer una prueba abstracta de y arbitrarias . wLw
Raphael
la expresión regular acepta L ? - o? (a+b)(a+b)L
corium
@ corium: No sé qué significa tu última declaración.
Dave Clarke
1

Un argumento muy breve arroja el famoso Teorema de MyHill y Nerode, que dice que un lenguaje es regular precisamente si tiene un número finito de cocientes. Entonces, para y L X tenemos u - 1 ( w - 1 L ) = ( w u ) - 1 L , por lo tanto, tenemos menos cocientes para w - 1 L que para L , en particular si L solo tiene muchos cocientes, para w - 1wXLXu1(w1L)=(wu)1Lw1LLL también tenemos finitamente muchos.w1L

StefanH
fuente