کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435101 689866 2011 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Computational processes, observers and Turing incompleteness
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Computational processes, observers and Turing incompleteness
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 412, Issues 1–2, 2 January 2011, Pages 183-190