کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951210 1441194 2017 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Differences of halting probabilities
ترجمه فارسی عنوان
تفاوت احتمال توقف
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We study the differences of Martin-Löf random left-c.e. reals and show that for each pair of such reals α,β there exists a unique number r>0 such that qα−β is a Martin-Löf random left-c.e. real for each positive rational q>r and a Martin-Löf random right-c.e. real for each positive rational q
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 89, November 2017, Pages 349-360
نویسندگان
, ,