é 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 }
Como posso provar que é regular?
é 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 }
Como posso provar que é regular?
Suponha
Agora prove.
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 ) = (w ∈ X∗ L ⊆ X∗ você- 1( w- 1G ) = ( w u )- 1eu W- 1eu eu eu W- 1eu
fonte