rationnels Lemme d'itération pour les langages algébriques Lemme d'itération pour les langages linéaires Lemme d'itération pour les langages indexés Lemme d'itération...

langages rationnels est le lemme de l'étoile. Une version plus élaborée du lemme d'itération est le lemme d'Ogden. Lemme d'itération — Soit L {\displaystyle...

place et un temps exponentiel. Le lemme d'itération (en anglais pumping lemma, traduit parfois malheureusement par lemme de pompage) donne une propriété...

général, voir Lemme d'itération pour les langages algébriques. En informatique théorique, et notamment en théorie des langages, le lemme d'itération de Bader...

le lemme de l'étoile ou lemme d'itération[réf. nécessaire] pour les langages rationnels (ou encore lemme de gonflement[réf. nécessaire], lemme de pompage[réf...

en 1968. Le lemme d'Ogden est une version plus élaborée du lemme d'itération pour les langages algébriques, aussi connu sous le nom de lemme de Bar-Hillel...

calculable par automate fini quantique. Il existe aussi une sorte de lemme d'itération pour ces fonctions; il dit que pour tout w {\displaystyle w} et tout...

complément. Le lemme d'itération pour les langages algébriques admet une forme plus précise pour les langages linéaires : Lemme d'itération pour les langages...

algébriques comme le lemme de Bar-Hillel, Perles et Shamir, le lemme d'itération d'Ogden ou le lemme d'itération de Bader et Moura, le lemme d'échange montre...

certaine inégalité différentielle. Le lemme existe sous trois formes, intégrale, différentielle et discrète. Le lemme de Grönwall constitue la justification...

En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski-Zorn) est un théorème de la théorie des ensembles qui affirme que...

algébrique, comme le lemme d'itération d'Ogden, ou d'autres lemmes d'itération comme le lemme de Bader et Moura ou même le lemme d'échange d'Ogden, Winklmann...

dimension supérieure. Le lemme de Sauer, un résultat en théorie des probabilités que Saharon Shelah attribue à Perles,. Le lemme d'itération pour les langages...

Le lemme de classe monotone, dû à Wacław Sierpiński et popularisé par Eugene Dynkin, permet de démontrer, de manière économique, l'égalité entre deux...

généralisé le lemme d'itération pour les langages algébriques aux grammaires indexées. Dans la direction opposée, Gilman donne un lemme de réduction pour...

moitié sans savoir s'il est déjà dans la deuxième moitié. Il existe un lemme d'itération spécial pour les langages algébriques déterministes qui permet de...

On peut montrer qu'il n'est pas algébrique, soit en appliquant le lemme d'itération, soit en utilisant le fait que tout langage algébrique sur une lettre...

1972,. Il est émérité depuis 2002. Shamir est l'un des auteurs du lemme d'itération pour les langages algébriques. Ses travaux concernent également les...

American Mathematical Society, vol. 9, no 4,‎ août 1958, p. 541-544. Lemme d'itération, une autre méthode pour prouver qu'un langage n'est pas rationnel...

n'est pas algébrique (on le prouve traditionnellement à l'aide d'un lemme d'itération pour les langages algébriques). Par conséquent, la classe des langages...

généralisé le lemme d'itération pour les langages algébriques aux grammaires indexées. Dans la direction opposée, Robert H. Gilman donne un lemme de réduction...

brièvement comme suit : à chaque itération, la fonction dont on cherche un zéro est linéarisée en l'itéré (ou point) courant et l'itéré suivant est pris égal au...

disparaissait : peut-on réellement parler de la disparition d'un lemme ? En fait, il y a là conservation du lemme hui, qui n'était plus suffisamment compréhensible,...

dans la hiérarchie de Chomsky. Il a été démontré, en utilisant le lemme d'itération d'Ogden, que ce langage n'est pas algébrique. La même question concernant...

général dans les espaces métriques complets pour assurer que le procédé d'itération d'une fonction tende vers un point fixe. Très différent, le théorème...

itération de la boucle Pour, l'algorithme produit ( n − 1 ) ! {\textstyle (n-1)!} permutations distinctes. Par ailleurs, par le corollaire du lemme,...

Cette méthode se déduit de celle de Théon : chaque itération de la présente correspond à deux itérations de celle-là. Ainsi, an/bn tend linéairement vers...

mathématique – dénommé généralement, après être validé, théorème, proposition, lemme, fait, scholie ou corollaire – est considéré comme valide lorsque le discours...

Le fait que γ {\displaystyle \gamma } soit non-nul découle du lemme suivant : Lemme de séparabilité linéaire stricte — S'il existe un hyperplan séparant...

détaillé : Théorème de Knaster-Tarski. Cette démonstration repose sur le lemme suivant, cas particulier du théorème de Knaster-Tarski[réf. souhaitée]....

Coefficient_binomial, Diviseurs_et_coefficients_binomiaux). Triangle de Pascal Formule d'itération de Pascal Q-analogue de la formule du pion René Adad, « Principales propriétés...