2

Ceci est une capture d'écran de l'applet LogiCell 1.0, lien vers lequel j'ai trouvé here.Comment travailler avec cette machine à turing?

alt text

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

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

Répondre

3

De the documentation:

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

alt text

Pourtant Notez que cette façon est une situation transitoire, vous devez être pour mesurer, avec une certaine périodicité. Si vous continuez à exécuter les automates après que ce carré a été défini, le mangeur est conçu pour revenir à sa forme d'origine. Du PDF:

Pour concevoir des circuits efficaces, nous devons arrêter en quelque sorte un train de planeurs pour empêcher les planeurs de "polluer" l'espace de calcul. Il y a des modèles stables et compacts, appelés mangeurs qui consomment des planeurs et récupèrent ensuite leur forme originale.

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

alt text

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 puissiez calculer le MSB plus rapidement que le LSB, d'où il peut être recueilli "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 un, le mangeur correspondant consomme un planeur - quand ils devraient être à zéro, les flux planeurs sont arrêtés avant qu'ils puissent atteindre le mangeur. En ce qui concerne la configuration des entrées, il s'agit en fait de savoir si un seul carré est activé ou désactivé dans la construction d'entrée. Vous pouvez voir vous-même en cliquant sur une entrée (par exemple A), puis sur OK, puis en cliquant à nouveau:

alt text

(Note terminologique: Ceci est un système qui utilise certaines constructions dans le jeu de la vie de Conway L'affirmation est qu'elle peut réaliser n'importe quel calcul qu'une machine de Turing pourrait faire, ce qui la rendrait "Turing Complete" et capable de "Universal Computation" .Mais peu importe ce que dit un gars français: P it's it pas un Turing Machine à moins qu'il n'y ait une bande unidimensionnelle et un tableau de transition d'état ... où la tête de bande peut examiner seulement un symbole à la fois et déplacer une bande à gauche ou à droite!)