¿Cómo trabajar con esta máquina de Turing?

Question

Esta es una captura de pantalla del applet LogiCell 1,0 , enlace al que he encontrado aquí .

Como se muestra en la esquina inferior izquierda, se trata de hacer 0+1 suma y el resultado es 01b (parte inferior derecha).

No soy capaz de vincular lo que se muestra en qué salidas de las entradas son la American National Standard. Por ejemplo, en este caso - al ver la instantánea, ¿cómo se determina que las entradas son 0 y 1 y la salida es 01

?

Answer 1

la documentación :

Un comensal gestiona la salida. La célula roja que aparece sólo se activa si un comedor absorbe un planeador. Esta célula es la salida.

Sin embargo, tenga en cuenta que esta es una situación transitoria que tiene que ser medida para, con una cierta periodicidad. Si se mantiene funcionando los autómatas después de que se establece que la plaza, el comedor está diseñado para volver a su forma original. Desde el PDF:

Para diseñar circuitos eficientes tenemos que dejar de alguna manera una corriente de planeadores para evitar que los planeadores de "contaminar" el espacio computacional. Hay patrones estables compactos, llamados comedores que consumen planeadores y en ese entonces la recuperación de su forma original.

Ya que tenemos dos bits de salida (MSB y LSB) He destacado sus "comedores" / salidas:

La adición se define de acuerdo con operaciones booleanas:

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))

Es lógico que usted sería capaz de calcular el MSB más rápido que el LSB, por lo tanto, se puede recopilar "anterior" (más cerca de la parte superior de la pantalla). Sólo ver la simulación y ver que cuando los bits deben ser uno, el que come correspondiente consume un planeador -., Cuando deberían ser cero, las corrientes de planeador se detienen antes de que puedan llegar al comensal

En cuanto a cómo configurar las entradas, lo que realmente se reduce a si un solo cuadrado está encendido o apagado en la construcción de entrada. Esto se puede ver a ti mismo haciendo clic en una entrada (por ejemplo A) y luego en Aceptar y, a continuación, hacer clic de nuevo: