Nova prova de lema de bombeamento para idiomas regulares


14

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 .euΣeueuNNWeu|w|>Nw=xyz|y|>0|xy|NxyizLi0

É um exercício simples [1] para provar que contém os idiomas singleton , e está fechado sob união, concatenação e estrela de Kleene. Também é sabido que a família de idiomas regulares é a menor que contém os singletons e é fechada sob a união, concatenação e estrela de Kleene. Conclusão: as linguagens regulares satisfazem a propriedade de bombeamento.LL={σ}σΣ

Pergunta: alguém viu essa prova na literatura? [1] Proposto por D. Berend.

Respostas:


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.