کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435762 689934 2015 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Computing power of Turing machines in the framework of unsharp quantum logic
ترجمه فارسی عنوان
قدرت محاسبه ماشین آلات تورینگ در چارچوب منطق کوانتومی بدون تکرار
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

We present recursion theoretical characterizations of the computational power of Turing machines in the framework of unsharp quantum logic. For unsharp quantum logic, let a lattice ordered quantum multiple valued (QMV) algebra be its truth value lattice. When lattice ordered QMV algebras satisfy a locally finite condition (that is, every non-zero element has a finite order) and its meet operation, ∧, is computable, we prove that Σ10∪Π10⊆LdT(E,Σ)(or LwT(E,Σ))⊆Π20, where LdT(E,Σ)(respectively LwT(E,Σ)) denotes the class of languages accepted by these Turing machines in the depth-first method (respectively the width-first method). For sharp quantum logic, similar results are obtained for a general orthomodular truth value lattice.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 598, 20 September 2015, Pages 2–14
نویسندگان
, , ,