Un article de Wikipedia.y-project.com.

Lemme de l'étoile (pumping lemma).

Soient L un langage régulier, et A un automate fini déterministe (Q, <math>\Sigma</math>, <math>\delta</math>, qo, F) tel que L = L(A). Pour tout mot <math>\omega \in</math> L tel que <math>|\omega| \geq</math> Card(Q), il existe x, u, y <math>\in \Sigma ^</math>, tels que u <math>\neq \epsilon</math> et |x.u| <math>\leq</math> Card(Q), vérifiant: x.u.y = <math>\omega</math> et <math>\forall n \geq 0</math>, x.<math>u^</math>.y <math>\in</math> L.

DernierMirror  

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Lemme de l\'étoile