Как работать с этой машиной Тьюринга? - PullRequest
2 голосов
/ 27 мая 2010

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

alt text

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

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

1 Ответ

3 голосов
/ 27 мая 2010

С документация :

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

alt text

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

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

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

alt text

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

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, поэтому его можно собирать «раньше» (ближе к верхней части экрана). Просто посмотрите на симуляцию и убедитесь, что когда биты равны единице, соответствующий едок потребляет планер - когда они должны быть равны нулю, потоки планера останавливаются до того, как они могут достигнуть едока.

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

alt text

...