Как работать с этой машиной Тьюринга?

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

alt text

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

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


person Lazer    schedule 27.05.2010    source источник


Ответы (1)


Из документации:

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

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), а затем ОК, а затем щелкнув его еще раз:

alt text

person HostileFork says dont trust SE    schedule 27.05.2010
comment
Примечание по терминологии: машина Тьюринга часто встречается в документации. Он использует определенные конструкции из «Игры жизни» Конвея для выполнения некоторых математических операций, утверждая, что он может выполнять любые вычисления, которые могла бы выполнить машина Тьюринга. Но это Полный Тьюринга - способный к универсальным вычислениям. Независимо от того, что говорит какой-то француз: P это не машина Тьюринга, если нет такой - размерная лента и диаграмма перехода состояний ... где головка ленты может исследовать только один символ за раз и перемещать один квадрат ленты влево или вправо! - person HostileFork says dont trust SE; 22.02.2019