Discuter:Lemme de l'étoile

Un article de Wikipédia, l'encyclopédie libre.

[modifier] Version pour les langages hors contexte

Il faudrait ajouter une section pour les grammaires hors contexte : le mot se décompose en u.v.w.x.y avec |v . w . x| \leq n (n une constante représentant le plus grand mot générable sans récursivité), |v.x| \neq \epsilon et \forall i \geq 0, u.v^i .w.x^i .y \in L. Tom (d) 11 décembre 2007 à 15:14 (CET)