Как работать с этим Turing Machine?

Question

Это скриншот апплета Logicell 1.0., ссылка на которую я нашел здесь.

Как выставка нижнего левого угла, это делает сумму 0+1 и результат 01b (снизу правая сторона).

Я не могу связать то, что отображается к тому, что находятся входы ANS выходов. Например, в этом случае - видение снимка, как вы определите, что входы 0 а также 1 и выход 01?

Answer 1

От Документация:

Еду управляет выходом. Красная отображаемая ячейка только активирована, если еду поглощает планер. Эта ячейка является выходом.

Тем не менее, отметить, что это преходящая ситуация, которую вы должны измерить, с определенной периодичностью. Если вы продолжите запустить автоматы после установки этого квадрата, еду предназначен для возврата в исходную форму. Из PDF:

Для проектирования эффективных цепей нам нужно как-то остановить поток планеров, чтобы предотвратить планеры из «загрязнения» вычислительного пространства. Существуют компактные стабильные узоры, называются едоками, которые потребляют планеры, а затем восстановление обратно в их первоначальную форму.

Поскольку у нас есть два бита выхода (MSB и LSB), я подчеркнул их «едоки» / выходы:

Дополнение определяется в соответствии с логическими операциями:

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

Это имеет смысл, что вы сможете вычислить MSB быстрее, чем LSB, следовательно, его можно собрать «раньше» (ближе к верхней части экрана). Просто посмотрите на симуляцию и посмотрите, что когда биты должны быть один, соответствующий едок потребляет планер - когда они должны быть нулевыми, полей планера останавливаются, прежде чем они смогут достичь едок.

Что касается того, как настроить входы, он действительно сводится к тому, включен или выключен один квадрат в входной конструкции. Вы можете увидеть это самостоятельно, нажав на вход (скажем), а затем ок, а затем снова нажимаю: