Меню
Главная
Случайная статья
Настройки
|
Бильярдный компьютер (англ. Billiard-ball computer) — логическая модель для проведения обратимых вычислений, механический компьютер, основанный на законах движения Ньютона и предложенный в 1982 году Эдвардом Фредкиным и Томмазо Тоффоли[англ.][1].
Вместо использования электронных сигналов, как в обычном компьютере архитектуры фон Неймана, он применяет принципы движения бильярдных шаров при отсутствии трения. Бильярдный компьютер может быть использован для изучения связей между обратимыми вычислениями и обратимыми процессами в физике.
Описание
Бильярдный компьютер моделирует булевы логические схемы, используя вместо проводов пути, по которым движутся шары, ограниченные стенками: сигнал кодируется наличием или отсутствием шаров на путях, а логические вентили моделируются при помощи столкновений шаров на пересечениях путей. В частности, можно так подобрать пути шаров, чтобы получить вентиль Тоффоли, универсальный обратимый логический вентиль, с помощью которого можно получить любой другой обратимый логический вентиль. Это означает, что правильно подобранный бильярдный компьютер способен провести любые вычисления[2].
Моделирование
Бильярдный компьютер можно моделировать, используя различные типы обратимых клеточных автоматов, включая блочные и второго порядка. В таких моделях шары движутся с постоянной скоростью вдоль осей координат, чего достаточно для моделирования логических схем. Как шары, так и стенки соответствуют некоторым группам живых (содержащих 1) ячеек, а объемлющее поле заполнено мёртвыми (содержащими 0) ячейками[3].
Также бильярдный компьютер может быть реализован с использованием живых крабов-солдат вида Mictyris guinotae в качестве бильярдных шаров[4][5][6].
Примечания
- Fredkin, Edward; Toffoli, Tommaso (1982), Conservative logic, International Journal of Theoretical Physics, 21 (3–4): 219–253, Bibcode:1982IJTP...21..219F, doi:10.1007/BF01857727, MR 0657156.
-
-
-
-
-
|
|