Pompage du lemme pour les langues régulières finies simples
Wikipedia a la définition suivante du lemme de pompage pour les langages réguliers ... Soit LLL une langue régulière. Il existe alors un entier ppp ≥ 1 dépendant uniquement de LLL tel que chaque chaîne www dans LLL de longueur au moins ppp ( ppp est appelé la "longueur de pompage") puisse s'écrire...