Respuestas:
Supongamos que es una máquina de estado finito determinista aceptar . Introduce la palabra en , que te llevará a algún estado . Construya una nueva máquina que sea igual a pero que tenga el estado de inicio . REIVINDICACIONES que acepta .
Ahora pruébalo.
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 - 1 también tenemos finitamente muchos.