C'est impossible, déjà rien que pour lire n il faut au moins log(n) opérations :P

Non mais ce que je veux dire c'est que à partir du moment où tu as A1...An -> f(A1)...f(An), le reste de l'étude de la suite est assez facile. Les systèmes de réécriture puissants et compliqués, ce sont ceux dont la réécriture dépend plus finement des paramètres initiaux. Dans le cas de la suite de Conway, c'est une bête grammaire hors-contexte.

Ça a l'air un peu plus compliqué (et donc plus intéressant) que ça au début : quand on regarde un terme AB, on peut avoir l'impression que f(AB) ne dépend pas juste de f(A) et f(B), si le dernier caractère de A est le même que le premier de B. Mais le résultat de décomposition en éléments trivialise malheureusement tout.