Article ID Journal Published Year Pages File Type
435101 Theoretical Computer Science 2011 8 Pages PDF
Abstract

We propose a formal definition of Wolfram’s notion of computational processes based on iterated transducers together with a weak observer, a model of computation that captures some aspects of physics-like computation. These processes admit a natural classification into decidable, intermediate and complete, where intermediate processes correspond to recursively enumerable sets of intermediate degree in the classical setting. It is shown that a standard finite injury priority argument will not suffice to establish the existence of an intermediate computational process.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics