Comment travailler avec cette machine de Turing?

Question

Ceci est une capture d'écran de l'applet LogiCell 1,0 , liaison à laquelle J'ai trouvé ici .

Comme le montre le coin en bas à gauche, ce fait somme 0+1 et le résultat est 01b (côté inférieur droit).

Je ne suis pas en mesure de lier ce qui est affiché à ce que les sorties des entrées sont. Par exemple, dans ce cas - voir l'instantané, comment déterminez-vous que les entrées sont 0 et 1 et la sortie est 01

?

Answer 1

De la documentation :

  

Un mangeur gère la sortie. La seule cellule affichée rouge est activée si un mangeur absorbe un planeur. Cette cellule est la sortie.

Et pourtant faire noter que ceci est une situation transitoire, vous devez être pour mesurer, avec une certaine périodicité. Si vous continuez à courir après les automates ce carré est réglé, le mangeur est conçu pour revenir à sa forme originale. Du PDF:

  

Pour concevoir des circuits efficaces dont nous avons besoin d'arrêter en quelque sorte un flux de planeurs pour empêcher les planeurs de « polluer » l'espace de calcul. Il existe des modèles stables de compacts, appelés mangeurs qui consomment des planeurs et à l'époque la récupération à leur forme originale.

Puisque nous avons deux bits de sortie (MSB et LSB) J'ai mis en évidence leurs "mangeurs" / sorties:

L'addition est définie en fonction des opérations booléennes:

A B | A+B
---------
0 0 | 0 0
1 0 | 0 1
0 1 | 0 1
1 1 | 1 0

MSB = A and B
LSB = (A or B) and (not (A and B))

Il est logique que vous seriez en mesure de calculer le MSB plus rapide que le bit de poids faible, d'où il peut être réuni « plus tôt » (plus près du haut de l'écran). Il suffit de regarder la simulation et de voir que lorsque les bits doivent être l'un, le mangeur consomme un planeur correspondant -. Quand ils devraient être nul, les flux de planeur sont arrêtés avant de pouvoir atteindre le mangeur

En ce qui concerne la façon de configurer les entrées, il vient vraiment de savoir si un seul carré est activée ou désactivée dans la construction d'entrée. Vous pouvez voir vous-même en cliquant sur une entrée (disons A), puis sur OK, puis en cliquant à nouveau: