Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
435101 | Theoretical Computer Science | 2011 | 8 Pages |
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