আমি একটি সাম্প্রতিক প্রশ্নের উত্তর পড়ছিলাম, এবং এক ধরণের অদ্ভুত, ক্ষণিকের চিন্তা মাথায় এলো। আমার এই জিজ্ঞাসাটি বিশ্বাসঘাতকতা হতে পারে যে আমার তত্ত্বের চপগুলি গুরুত্ব সহকারে অভাব রয়েছে (বেশিরভাগ সত্য) বা এটি আমার পক্ষে এই সাইটটি পড়ার খুব তাড়াতাড়ি। এখন, দাবি ছাড়াই দিয়ে ...
এটি একটি সুপরিচিত ফলাফল এটি কম্পিউটারের তত্ত্ব যে থামানো সমস্যা টিএমএসের জন্য সিদ্ধান্ত নেওয়া যায় না। তবে এটি এমন সম্ভাবনা বাদ দেয় না যে এমন কিছু মেশিন রয়েছে যা কিছু শ্রেণির মেশিনের (কেবল সমস্তই নয়) থামিয়ে দেওয়া সমস্যা সমাধান করতে পারে।
সমস্ত নির্ধারণযোগ্য সমস্যার সেট বিবেচনা করুন। প্রতিটি সমস্যার জন্য, অনেকগুলি টিএম রয়েছে যা সেই ভাষাটি স্থির করে। নিম্নলিখিত নিম্নলিখিত হতে পারে
- একটি টিএম রয়েছে যা ট্যুরিং মেশিনের একটি সাবসেট জন্য থামার সমস্যাটি স্থির করে ; এবং
- সমস্ত নির্ধারণযোগ্য সমস্যাগুলি কমপক্ষে একটি টিউরিং মেশিন দ্বারা সিদ্ধান্ত নেওয়া হয় ?
অবশ্যই, ট্যুরিং মেশিন সন্ধান করা নিজেই গণনাযোগ্য হতে পারে না; তবে আমরা সেই সমস্যাটিকে উপেক্ষা করি।
সম্পাদনা: নীচে শালের উত্তরের উপর ভিত্তি করে, মনে হচ্ছে যে (ক) এই ধারণাটি অর্থপূর্ণ বলে খুব খারাপভাবে নির্দিষ্ট নয় বা (খ) আমার আগের চেষ্টাটি যথেষ্ট চিহ্ন হিসাবে ছিল না। শোলের উত্তরের মন্তব্যে আমি বিস্তারিত জানার চেষ্টা করার সাথে সাথে আমার উদ্দেশ্যটি এই নয় যে আমরা নিশ্চিত নই যে ইনপুট টিএম । আমার প্রশ্নটি দ্বারা আমি যা বোঝাতে চেয়েছি তা হ'ল এই জাতীয় কোনও এস থাকতে পারে , যেমন এস এর সদস্যপদ একটি সিদ্ধান্ত গ্রহণযোগ্য সমস্যা । এস-র জন্য থামানো সমস্যা সমাধানের প্রোগ্রামটি সম্ভবত, টেপ বা কোনও কিছুতে "অবৈধ ইনপুট" লিখবে যখন কোনও ইনপুট দেওয়া হয়েছিল যা এটি এস এর মধ্যে নেই বলে স্বীকৃতি দেয়। যখন আমি এটির মতো এটি প্রণয়ন করি তখন আমি নিশ্চিত নই যে এটি আমাদের থামিয়ে দেওয়া সমস্যা সমাধান করতে দেয় কিনা, বা রাইসের উপপাদ্য প্রযোজ্য কিনা (দ্রষ্টব্যতা কোনও ভাষার আর্ট রাইসের উপপাদ্যের একটি অর্থসম্পর্কিত সম্পত্তি?)