1
Nova prova de lema de bombeamento para idiomas regulares
Seja a família de todos os idiomas acima do satisfazendo a propriedade de bombeamento dos idiomas regulares. Ou seja: para cada , há um cada palavra , pode ser escrita no formato onde: 1. , 2. , 3. para todos os .eueu\mathcal{L}ΣΣ\SigmaL ∈ Leu∈euL\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ LW∈euw\in L|w|>N|w|>N|w|> Nw=xyzw=xyz w=xyz|y|>0|y|>0|y|>0|xy|≤N|xy|≤N|xy|\le …