Правило 110 - Википедия - Rule 110

В Правило 110 клеточного автомата (часто просто Правило 110) является элементарный клеточный автомат с интересным поведением на границе между стабильностью и хаосом. В этом отношении он похож на Игра жизни Конвея. Как и жизнь, правило 110 Тьюринг завершен. Это означает, что, в принципе, с помощью этого автомата можно моделировать любой расчет или компьютерную программу.

Пример запуска правила 110 клеточного автомата

Определение

В элементарном клеточном автомате одномерный образец нулей и единиц развивается в соответствии с простым набором правил. Будет ли точка в шаблоне иметь значение 0 или 1 в новом поколении, зависит от ее текущего значения, а также от значений двух его соседей.

Анимация того, как правила одномерного клеточного автомата определяют следующее поколение с использованием правила 110.

Автомат Rule 110 имеет следующий набор правил:

Текущий шаблон111110101100011010001000
Новое состояние для центральной ячейки01101110

Название «Правило 110» происходит от того факта, что это правило можно резюмировать в двоичной последовательности 01101110; интерпретируется как двоичное число, это соответствует десятичному значению 110.

История

В 2004 г. Мэтью Кук опубликовал доказательство того, что Правило 110 Тьюринг завершен, т.е. способные универсальное вычисление, который Стивен Вольфрам предположил в 1985 году.[1] Кук представил свое доказательство на Институт Санта-Фе конференция CA98 перед публикацией книги Вольфрама Новый вид науки. Это привело к юридическому делу на основании соглашения о неразглашении информации с Wolfram Research. Wolfram Research блокировала публикацию доказательства Кука на несколько лет.[2]

Интересные свойства

Среди 88 возможных уникальных элементарных клеточных автоматов, Правило 110 - единственное, для которого была доказана полнота Тьюринга, хотя доказательства для нескольких подобных правил должны следовать как простые следствия (например, Правило 124, которое является горизонтальным отражением Правила 110). Правило 110, возможно, является самой простой известной полной системой Тьюринга.[1][3]

Правило 110, как и Игра Жизни, показывает что Вольфрам звонки "4 класс поведение », которое не является ни полностью стабильным, ни полностью хаотичным. Локализованные структуры возникают и взаимодействуют сложным образом.[4]

Мэтью Кук Доказано, что Правило 110 способно поддерживать универсальные вычисления. Правило 110 - достаточно простая система, чтобы предположить, что естественные физические системы также могут быть универсальными, что означает, что многие из их свойств будут неразрешимыми и не поддающимися математическим решениям в замкнутой форме.[5]

Накладные расходы на моделирование машины Тьюринга

Оригинальная эмуляция Машина Тьюринга использовали следующую стратегию моделирования: машина Тьюринга → 2-система теговсистема циклических тегов → Правило 110, но система с двумя тегами содержала экспоненциальное время накладные расходы из-за кодирования ленты машины Тьюринга с использованием унарная система счисления. Нири и Вудс (2006) изменили конструкцию, чтобы выполнить моделирование следующим образом: машина Тьюринга → машина Тьюринга по часовой стрелке → система циклических тегов → Правило 110, которое требует только многочлен накладные расходы.[6]

Доказательство универсальности

Мэтью Кук представил свое доказательство универсальности Правила 110 на конференции Института Санта-Фе, состоявшейся перед публикацией Новый вид науки. Wolfram Research заявила, что эта презентация нарушила соглашение Кука о неразглашении с его работодателем, и получила постановление суда об исключении статьи Кука из опубликованных материалов конференции. Тем не менее стало известно о существовании доказательства Кука. Интерес к его доказательству возник не столько из-за его результата, сколько из-за его методов, особенно из технических деталей его построения.[7] Характер доказательства Кука значительно отличается от обсуждения правила 110 в Новый вид науки. Кук с тех пор написал статью, в которой изложил свое полное доказательство.[1]

Кук доказал, что правило 110 было универсальным (или полным по Тьюрингу), показав, что это правило можно использовать для имитации другой вычислительной модели, система циклических тегов, который, как известно, универсален. Он первым выделил ряд космические корабли, самовоспроизводящиеся локализованные шаблоны, которые могут быть построены по бесконечно повторяющемуся шаблону во вселенной Правила 110. Затем он разработал способ взаимодействия комбинаций этих структур таким образом, чтобы его можно было использовать для вычислений.

Космические корабли в Правиле 110

Функция универсальной машины в Правиле 110 требует, чтобы конечное число локализованных шаблонов было встроено в бесконечно повторяющийся фоновый узор. Фоновый узор имеет ширину четырнадцать ячеек и повторяется ровно каждые семь итераций. Шаблон 00010011011111.

Три локализованных шаблона особенно важны в универсальном автомате Rule 110. Они показаны на изображении ниже в окружении повторяющегося фонового рисунка. Крайняя левая структура сдвигается на две ячейки вправо и повторяется каждые три поколения. Он состоит из последовательности 0001110111 окруженный фоновым рисунком, приведенным выше, а также двумя различными эволюциями этой последовательности.

На рисунках время идет сверху вниз: верхняя строка представляет начальное состояние, а каждая следующая строка - состояние в следующий раз.

Ca110-structure2.png

Центральная структура сдвигается на восемь ячеек влево и повторяется каждые тридцать поколений. Он состоит из последовательности 1001111 окруженный фоновым рисунком, приведенным выше, а также двадцатью девятью различными эволюциями этой последовательности.

Самая правая структура остается неподвижной и повторяется каждые семь поколений. Он состоит из последовательности 111 окруженный фоновым рисунком, приведенным выше, а также пятью различными эволюциями этой последовательности.

Ниже приведено изображение, на котором показаны первые две структуры, проходящие друг через друга без взаимодействия, кроме как путем перевода (слева), и взаимодействующие друг с другом для формирования третьей структуры (справа).

Ca110-Interaction2.png

В Правиле 110 есть множество других космических кораблей, но они не так заметны в доказательстве универсальности.

Построение системы циклических тегов

Механизм системы циклических тегов состоит из трех основных компонентов:

  • А строка данных который неподвижен;
  • Бесконечно повторяющийся ряд конечных правила производства которые начинаются справа и движутся влево;
  • Бесконечно повторяющийся ряд тактовые импульсы которые начинаются слева и движутся вправо.

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

В строка данных В системе циклических тегов система представлена ​​серией стационарных повторяющихся структур указанного выше типа. Различное количество горизонтальных пространств между этими структурами позволяет отличить 1 символ от 0 символов. Эти символы представляют слово на котором работает система циклических тегов, и первый такой символ уничтожается при рассмотрении каждого правила продукции. Когда этот ведущий символ равен 1, в конец строки добавляются новые символы; когда он равен 0, новые символы не добавляются. Механизм достижения этого описан ниже.

Вход справа - это ряд движущихся влево структур указанного выше типа, разделенных разным количеством горизонтального пространства. Большое количество этих структур комбинируется с разными интервалами для представления нулей и единиц в производственных правилах системы циклических тегов. Поскольку правила производства системы тегов известны во время создания программы и бесконечно повторяются, шаблоны нулей и единиц в начальном состоянии могут быть представлены в виде бесконечно повторяющейся строки. Каждое производственное правило отделено от следующего другой структурой, известной как разделитель правил (или же разделитель блоков), который движется влево с той же скоростью, что и кодирование производственных правил.

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

Если, с другой стороны, символ в строке был 1, разделитель правил изменяется на новую структуру, которая допускает входящее производственное правило. Хотя новая структура снова разрушается, когда встречается со следующим разделителем правил, она сначала позволяет ряду структур пройти влево. Затем эти структуры добавляются в конец строки данных системы циклических тегов. Это окончательное преобразование осуществляется посредством серии бесконечно повторяющихся движущихся вправо тактовые импульсы в образце с движением вправо, показанном выше. Тактовые импульсы преобразуют входящие левосторонние символы 1 из правила производства в стационарные символы 1 строки данных, а входящие символы 0 из правила производства в стационарные символы 0 строки данных.

Система циклических тегов работает

Cts-diagram.jpg

На рисунке выше представлена ​​схематическая диаграмма реконструкции системы циклических тегов в Правиле 110.

Смотрите также

Рекомендации

  1. ^ а б c Повар (2004).
  2. ^ Джайлз (2002).
  3. ^ Вольфрам 2002, стр. 169, 675–691
  4. ^ Вольфрам 2002, п. 229
  5. ^ Правило 110 - Вольфрам Альфа
  6. ^ Нири и Вудс (2006).
  7. ^ Мартинес, Хенаро Дж .; Сек Туох Мора, Хуан; Чапа, Серджио; Леметр, Кристиан (апрель 2019 г.). «Краткие заметки и история вычислений в Мексике за 50 лет». Международный журнал параллельных, возникающих и распределенных систем. 35: 1–8. arXiv:1905.07527. Дои:10.1080/17445760.2019.1608990. Получено 2020-04-15.

дальнейшее чтение

внешняя ссылка