Como provar que os idiomas regulares estão fechados no quociente esquerdo?

13

é uma linguagem regular sobre o alfabeto Σ = { a , b } . O quociente esquerdo de L em relação a w Σ é o idioma w - 1 L : = { v w v L }euΣ={uma,b}euWΣ

W-1eu: ={vWveu}

Como posso provar que é regular?W-1eu

corium
fonte

Respostas:

15

Suponha MeuWMqMMqMW-1eu

Agora prove.

Dave Clarke
fonte
W-1
euW
(uma+b)(uma+b)eu
@corium: Eu não sei o que sua última declaração significa.
21812 Dave Clarke
1

Um argumento muito curto produz o famoso Teorema de MyHill e Nerode, que diz que uma linguagem é regular precisamente se tiver um número finito de quocientes. Portanto, para e L X temos u - 1 ( w - 1 L ) = (WXeuXvocê-1(W-1eu)=(Wvocê)-1euW-1eueueuW-1eu

StefanH
fonte