Soustraction par la machine de Post-Wang++

La machine est faite de deux programmes :

Le premier programme recopie le second facteur (initialement formé de cases cochées en une rangée horizontale) en une rangée verticale: Emilio applique une symétrie axiale par rapport à la première diagonale, obtenant ainsi les deux bords d'un rectangle;
Le second programme efface les deux bords d'un carré en faisant un passage sur la diagonale.

Instructions du langage

aller à gauche pour faire aller Emilio vers la gauche (d'un pas)
aller à droite pour faire aller Emilio vers la droite
marquer la case pour que Emilio coche (ou laisse cochée) la case
effacer la case pour qu'Emilio efface la case (ou la laisse effacée)
aller à la ligne 5 pour revenir à la ligne 5 du script
si coché alors aller à la ligne 5 a pour effet de revenir à la ligne 5 du script si Emilio voit une case cochée à ses pieds
si vierge alors aller à la ligne 5 a pour effet de revenir à la ligne 5 du script si Emilio voit une case non cochée à ses pieds
prendre un café a pour effet de ne rien faire (sauf passer à la ligne suivante)
stop arrête tout

Les programmes :

Programme 1	Programme 2
aller à droite si vierge alors aller à la ligne 4 aller à la ligne 1 aller à droite si vierge alors aller à la ligne 7 aller à la ligne 4 aller à gauche effacer la case aller à gauche si vierge alors aller à la ligne 12 aller à la ligne 9 aller à gauche si vierge alors aller à la ligne 15 aller à la ligne 12 aller à droite si vierge alors aller à la ligne 18 aller à la ligne 15 aller à droite si vierge alors aller à la ligne 21 aller à la ligne 18 aller à gauche si vierge alors aller à la ligne 40 effacer la case aller à gauche si vierge alors aller à la ligne 27 aller à la ligne 24 aller à gauche si vierge alors aller à la ligne 30 aller à la ligne 27 aller à droite descendre si vierge alors aller à la ligne 34 aller à la ligne 31 cocher la case monter si vierge alors aller à la ligne 38 aller à la ligne 35 descendre aller à la ligne 15 aller à gauche si vierge alors aller à la ligne 43 aller à la ligne 40 monter	aller à droite descendre descendre si vierge alors aller à la ligne 7 effacer la case aller à la ligne 3 monter aller à droite monter si coché alors aller à la ligne 12 aller à la ligne 8 effacer la case aller à gauche si vierge alors aller à la ligne 17 effacer la case aller à la ligne 13 aller à droite si coché alors aller à la ligne 20 aller à la ligne 17 aller à gauche

Programme 1

Programme 2

Ne pas oublier de stopper l'animation avant de changer de programme !

La machine est actuellement configurée pour effectuer 7−3 puisque la représentation unaire de la ligne 2 est 01111111011100000000000000000000000000000000000000.

Numéro du programme actuellement exécuté :

Emilio lit la ligne 1 qui dit :"".

Vitesse de l'animation :