¿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?

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.


¿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

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.