Bon, alors l'info théorique, j'en ai pas fait depuis des années... Je pense tout de même que ta question est "à l'envers". On connaît la définition d'une machine de Turing, donc pour en construire une, tu peux faire ce que tu veux, à condition que ça colle à la définition ! Y'a plein de manières différentes d'y arriver. En ce qui concerne le jeu de la vie et MTG, ce qui est intéressant, c'est qu'on s'est rendu compte qu'on pouvait coder des machines de Turing avec. Ça ne veut pas dire pour autant que le codage de la machine est trivial...
Des manières de créer une machine de Turing, il doit y en avoir une infinité. Si tu veux en faire une nouvelle, invente des règles qui permettent de coller à la définition. Ou invente des règles qui permettent de coder une autre implémentation existante (comme Magic ou minecraft).
[^] # Re: C'est pas le seul
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Magic: the Gathering, le problème de l'arrêt, et une inférence un peu rapide. Évalué à 3.
Bon, alors l'info théorique, j'en ai pas fait depuis des années... Je pense tout de même que ta question est "à l'envers". On connaît la définition d'une machine de Turing, donc pour en construire une, tu peux faire ce que tu veux, à condition que ça colle à la définition ! Y'a plein de manières différentes d'y arriver. En ce qui concerne le jeu de la vie et MTG, ce qui est intéressant, c'est qu'on s'est rendu compte qu'on pouvait coder des machines de Turing avec. Ça ne veut pas dire pour autant que le codage de la machine est trivial...
Des manières de créer une machine de Turing, il doit y en avoir une infinité. Si tu veux en faire une nouvelle, invente des règles qui permettent de coller à la définition. Ou invente des règles qui permettent de coder une autre implémentation existante (comme Magic ou minecraft).