থামানো ডিটেক্টরটি কতটা ভাল হতে পারে?


12

এমন কি কোনও ট্যুরিং মেশিন রয়েছে যা সিদ্ধান্ত নিতে পারে যে প্রায় সমস্ত অন্যান্য ট্যুরিং মেশিন বন্ধ রয়েছে কিনা ?

N{Mi}

f(i)={n:Mi can't decide whether Mn halts}.

কি ন্যূনতম মান characterizations ভিন্ন থাকবেই? উদাহরণস্বরূপ, ধরুনআপ সংখ্যার অনুপাত limsup হয় যে হয় । এমন কোন আছে যার জন্য ?fSkSif(i)=0


উত্তর:


10

এটি কোনও "দুর্দান্ত" সম্পত্তি নয়, কারণ এটি সত্য বা মিথ্যা কিনা তা এনকোডিংয়ের উপর নির্ভর করে।

ডেভিড এট আল এর Asyptotically দেখুন প্রায় সমস্ত স্টার্মগুলি দৃter়ভাবে স্বাভাবিক করা হচ্ছেλ , যা শিরোনামে এটি যা বলে প্রমাণিত করে। যাইহোক, এই কাগজটি আরও দেখায় যে এসকেআই-কম্বিনেটরগুলির জন্য বিপরীত ধারনা রয়েছে (যার মধ্যে ল্যাম্বডা-পদগুলি রচনাগতভাবে এম্বেড করা যেতে পারে)।

ল্যাম্বদা ক্যালকুলাসে, হ্রাস একটি টুরিং মেশিনের একটি ধাপের সমতুল্য, এবং দৃ strong় স্বাভাবিককরণ এমন সম্পত্তি যা প্রতিটি হ্রাস ক্রম অবশেষে একটি সাধারণ আকারে পৌঁছে যায় - অর্থাত্, আর কোনও হ্রাস সম্ভব নয়। (যেহেতু প্রদত্ত ল্যাম্বডা-টার্মের অনেকগুলি বৈধ হ্রাস হতে পারে, তাই শক্তিশালী নরমালাইজেশন একটি প্রদত্ত ননডেস্টেরিনিস্টিক টিউরিং মেশিনকে সর্বদা থামার মতো বলে মনে হয়)) সুতরাং অ্যাসিপোটোটিকভাবে প্রায় সমস্ত বিদ্যুতগুলি দৃ normal়তরকরণের অর্থ হ'ল সম্ভাবনা 1 এ পৌঁছানোর সাথে সাথে, একটি বৃহত ল্যাম্বডা শর্ত হ্রাস সর্বদা একটি সাধারণ ফর্মে পৌঁছে যাবে।λ

তবে ল্যাম্বদা-পদগুলি এসকেআই কম্বিনেটর (এবং তদ্বিপরীত) এবং সংমিশ্রণ ক্যালকুলিতে সমস্ত শর্ত লুপ হিসাবে সংমিশ্রণ ক্যালকুলাসে অর্থ-সংরক্ষণের উপায়ে অনুবাদ করা যেতে পারে ।


2
আমি পর্যবেক্ষণ করেছি যে ভবিষ্যতের দর্শনার্থী, দৃ strong় স্বাভাবিককরণ এবং থামানো সনাক্তকরণের মধ্যে সম্পর্কটি অগত্যা জেনে না রেখে, আপনার উত্তরটি কোন অবস্থান গ্রহণ করে (যদি থাকে) তবে তা নির্ধারণ করতে সক্ষম হতে পারে না।
এরিক টাওয়ার

@ এরিক টাওয়ারস সম্পন্ন!
নীল কৃষ্ণস্বামী
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.