A Concrete View of Rule 110 Computation

  title={A Concrete View of Rule 110 Computation},
  author={Matthew Cook},
Rule 110 is a cellular automaton that performs repeated simultaneous updates of an infinite row of binary values. The values are updated in the following way: 0s are changed to 1s at all positions where the value to the right is a 1, while 1s are changed to 0s at all positions where the values to the left and right are both 1. Though trivial to define, the behavior exhibited by Rule 110 is surprisingly intricate, and in (Cook, 2004) we showed that it is capable of emulating the activity of a… 

The complexity of small universal Turing machines: A survey

Computational determinacy of cellular automata

An algorithm is proposed that converts any general multi-dimensional cellular automata to an equivalent λ -expression, and the achievement of this scheme is that an arrival to a ”computational-cum-symbolic” representation of the solution to an partial differential equation is introduced.

An automaton group with undecidable order and Engel problems

Reversible Cellular Automata

  • K. Morita
  • Computer Science
    Handbook of Natural Computing
  • 2009
In this chapter, methods of simulating irreversible CAs by reversible ones, and of constructing PCAs from reversible logic elements are shown.

Universality in Infinite Petri Nets

Two Petri nets are constructed which simulate the linear cellular automa- ton Rule 110 via expanding traversals of the cell array via direct simulation of the cellular automaton and are concluded to be Turing-complete and run in polyno- mial time.

Wolfram's Classification and Computation in Cellular Automata Classes III and IV

It is shown that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing universality.

A Computation in a Cellular Automaton Collider Rule 110

This work shows how a computation can be performed on the collider by exploiting interactions between gliders (particles, localisations) and proposes constructions based on universality of elementary cellular automaton rule 110, cyclic tag systems, supercolliders, and computing on rings.

On Soliton Collisions between Localizations in Complex Elementary Cellular Automata: Rules 54 and 110 and Beyond

A specific ECA with memory (ECAM), the ECAM Rule $\phi_{R9maj:4}$, that displays single-soliton solutions from any initial codification for a kind of mobile self-localization because such automaton is able to adjust any initial condition to soliton structures.



Universality in Elementary Cellular Automata

The purpose of this paper is to prove that one of the simplest one dimensional cellular automata is computationally universal, implying that many questions concerning its behavior, such as whether a

Universality of Tag Systems with P = 2

The representation of the Turing machine in the present system has a lower degree of exponentiation, which may be of significance in applications, and these systems seem to be of value in establishing unsolvability of combinatorial problems.

A new kind of science

A New Kind of Science, written and published by Stephen Wolfram, is the outcome of the studies he conducted systematically upon cellular automata, a class of computer model which may be visualized as a set of memory locations, each containing one bit.

P-completeness of Cellular Automaton Rule 110

It is shown that the problem of predicting t steps of the 1D cellular automaton Rule 110 is P-complete and the small universal Turing machines of Mathew Cook run in polynomial time, this is an exponential improvement on their previously known simulation time overhead.

Small Weakly Universal Turing Machines

These machines are weakly universal, which means that they have an infinitely repeated word to the left of their input and another to the right, and are currently the smallest knownWeakly universal Turing machines.

Tag systems and Collatz-like functions

On the time complexity of 2-tag systems and small universal Turing machines

  • D. WoodsT. Neary
  • Computer Science
    2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06)
  • 2006
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing machines in polynomial

Small Universal Turing Machines

The 2-symbol Turing machine simulating Rul e 110 requires only 7 states

  • (personal communication)
  • 1998

A tag system for the 3x+1 problem

  • (personal c ommunication)
  • 2003