1
Idiomas que satisfazem o lema de bombeamento, mas não são regulares?
Dada uma linguagem regular , é fácil provar que existe um constante, como , com existem cadeias , e modo que e e, para todo , éLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N|β|≠ϵ|β|≠ϵ\lvert \beta \rvert \ne \epsilonkkkαβkγ∈Lαβkγ∈L\alpha \beta^k \gamma \in L. É amplamente afirmado que …