کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952274 1442029 2017 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Computing halting probabilities from other halting probabilities
ترجمه فارسی عنوان
محاسبه احتمالات توقف از احتمال احتباس دیگر
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In this paper we give precise bounds on the redundancy growth rate that is generally required for the computation of an omega number from another omega number. We show that for each ϵ>1, any pair of omega numbers compute each other with redundancy ϵlog⁡n. On the other hand, this is not true for ϵ=1. In fact, we show that for each omega number ΩU there exists another omega number which is not computable from ΩU with redundancy log⁡n. This latter result improves an older result of Frank Stephan.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 660, 17 January 2017, Pages 16-22
نویسندگان
, ,