Par exemple, dans les langages de programmation, il est courant d'écrire un compilateur / interprète X-in-X, mais à un niveau plus général, de nombreux systèmes Turing-complets connus peuvent se simuler de manière impressionnante (par exemple, simuler le jeu de la vie de Conway dans le jeu de la vie de Conway ).
Ma question est donc la suivante: un système capable de se simuler est-il suffisant pour prouver que Turing est complet? C'est certainement une condition nécessaire.