Discussion:Lemme d'itération
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Fusion entre Lemme d'itération et Lemme de l'étoile[modifier le code]
Discussion transférée depuis Wikipédia:Pages à fusionner
Les deux pages parlent du pumpimg lemma, la première étant une ébauche relative à une des noms en français du lemme (ce même nom est présent dans lemme de l'étoile aussi). --Ruthven (msg) 1 septembre 2021 à 13:14 (CEST)
Contre La première parle de lemme d'itération = pumping lemma en anglais : elle présente les lemmes d'itération pour les rationnels, les algébriques, etc. C'est une sorte de chapeau. La deuxième parle de lemme d'itération pour les langages rationnels seulement ; pour être plus clair, j'ai complété en ce sens le nom long.
Il en est de même en anglais par exemple.
- Lemme de l’étoile = pumping lemma for regular languages
- Lemme d’itération = pumping lemma
Un confusion provenait d'une mauvaise liaison entre les correspondances via Wikidata. Une réparation u moins partielle a été faite. -- ManiacParisien (discuter) 2 septembre 2021 à 11:41 (CEST)
Pas de consensus, je clôture. Nouill 17 septembre 2021 à 09:20 (CEST)