Soustraction binaire avec la Machine de Post-Wang bidimensionnelle

Les termes à soutraire doivent être placés sur les deux lignes du haut, alignés à droite, codés en binaire. Si avant d'exécuter le programme, Emilio est placé tout à droite de la troisième ligne, il calcule la différence, toujours encodée en binaire. Si le nombre écrit à la seconde ligne en binaire, est plus grand que le nombre écrit à la première ligne, la soustraction est toujours effectuée correctement, mais le résultat est précédé d'une infinité de cases cochées sur la gauche, ce qui signifie qu'il faut une infinité de chiffres binaires pour représenter les nombres négatifs. La représentation en machine des "entiers signés" est pourtant très similaire à ceci.

Instructions du langage

Le programme :

Emilio lit la ligne 1 qui dit :"".

Vitesse de l'animation :