ПОИСК Статьи Рисунки Таблицы Метод второго порядка из "Машины клеточных автоматов" Первый общий метод, который мы рассмотрим для получения обратимых клеточных автоматов, включает создание систем второго порядка, являющихся инвариантными к обращению времени. Пример этого метода был дан в разд. 6.2, естественным продолжением которого является настоящее обсуждение. [c.156] Перефразируя Зенона, если мы вырежем один кадр из фильма, изображающего летящую пулю, то не сможем по нему узнать, что пуля делает. Если же даются два последовательных кадра этого фильма, то можно вычислить траекторию пули. Таким образом, из этих двух кадров, интерпретируемых как прошлая и настоящая позиции пули, мы можем сконструировать третий, задающий ее будущую позицию. Эту процедуру можно повторить. Законы ньютоновской механики таковы, что если из каких-то соображений поменять эти два кадра местами, то мы придем к вычислению траектории в обратном направлении. [c.156] Следующий общий метод конструирования клеточных автоматов, который работает аналогично, предложил Эд Фредкин из Массачусетского технологического института. [c.156] Обратимые правила второго порядка могут быть сконструированы с использованием в уравнении, подобном (14.2), других операций, чем вычитание. Вы можете даже сделать решение о том, какую операцию использовать, зависящим от соседей в момент t В обратимом правиле второго порядка наиболее общего вида окрестность в момент t используется для того, чтобы выбрать перестановку на множестве состояний 0,1.п-1 . Клетка применяет эту перестановку к своему предыдущему состоянию, чтобы сконструировать ее следующее состояние [62]. [c.158] В примерах гл. 6 два последовательных кадра, которые вместе определяют состояние системы, запоминаются в плоскостях битов О ( настоящее ) и 1 ( прошлое ). На каждом шаге мы создаем будущую конфигурацию из содержимого плоскостей О и 1 и помещаем ее в плоскость О, в то время как текущее содержимое плоскости О перемещается в плоскость 1. Таким образом, плоскости О и 1 всегда содержат два последних кадра. [c.158] Вернуться к основной статье