Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque...