C'est super intéressant ! Ce qui m'impressionne c'est la diversité des système qui peuvent être transformés en machine de Turing.
Si l'on connait les caractéristiques d'une machine de Turing, est-ce que l'on connait les propriétés qui permettent d'en construire une ? (À première vue, le jeu de la vie ne partage pas grand chose avec Magic...).
[^] # Re: C'est pas le seul
Posté par chimrod (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é à 2.
C'est super intéressant ! Ce qui m'impressionne c'est la diversité des système qui peuvent être transformés en machine de Turing.
Si l'on connait les caractéristiques d'une machine de Turing, est-ce que l'on connait les propriétés qui permettent d'en construire une ? (À première vue, le jeu de la vie ne partage pas grand chose avec Magic...).