Voila, je pose la question ... on sait jamais :
Je pige pas comment trouver le i pour que quelque soit la decomposition de n'importe quel mot, d'un language L supposé algebrique, en uvwxy verifiant |vx|>0 et |w|>0 et |vwx|<=n (deja faut il toujours considerer le n fixé?) tel que le mot (u Vi w Xi y) n'appartienne pas à L.
Pourquoi ne pas simplement fixer le i et regarder si c'est possible de reconstruire uwy sans qu'il appartienne à L.
Y a pas une methode generale pour ces monstruosités ???
Message édité par Chronoklazm le 28-01-2005 à 16:21:41
---------------
Scheme is a programmable programming language ! I heard it through the grapevine !