আপনি একটি যৌক্তিক সমস্যা আটকে আছে বলে মনে হচ্ছে।
আপনি যে বইগুলি পড়তে পারবেন না সেগুলি থেকে আপনি অনুমান করতে পারবেন না যে আপনি কোনও বই পড়তে পারবেন না।
ট্যুরিং মেশিনস (টিএম) এর জন্য থামার সমস্যাটি অনস্বীকার্য বলে কেবল এটির অর্থ হ'ল এমন মেশিন রয়েছে যার জন্য তারা নির্ধারণ করার কোনও উপায় নেই যে তারা কোনও অভিন্ন প্রক্রিয়া দ্বারা সর্বদা থামবে কিনা that
তবে সেখানে ট্যুরিং মেশিন রয়েছে যা থামে। এখন ট্যুরিং মেশিনের একটি উপসেট নিন, এটি নিস টিউরিং মেশিনস (এনটিএম) বলে, যেমন এতে কেবলমাত্র টুরিং মেশিন রয়েছে যা কেবল টেপটিতে একসাথে সংখ্যক চিহ্ন উপস্থিত থাকলে থামবে and যদি কোনও মেশিন এম সেই সেট থেকে পরিচিত হয় তবে এম থামবে কিনা তা সিদ্ধান্ত নেওয়ার আপনার একটি সহজ উপায় রয়েছে: আপনি টেপ চিহ্নগুলির সংখ্যা সমান কিনা তা পরীক্ষা করে দেখুন (এটিতে কেবল দুটি আঙ্গুলের প্রয়োজন)।
তবে সেই পদ্ধতিটি টিএমের জন্য কাজ করবে না যা এনটিএম সেটে নেই। (খুব খারাপ!)
সুতরাং এনটিএম সেট টিএম সেটে অন্তর্ভুক্ত করা সত্ত্বেও, থামার সমস্যাটি এনটিএমের পক্ষে সিদ্ধান্ত গ্রহণযোগ্য, তবে সাধারণভাবে টিএমের পক্ষে নয়।
অনস্বীকার্যতার ফলাফল ব্যাখ্যা করার সময় এটি আসলে সমালোচক এবং কখনও কখনও ভুলে যায়।
এটি ভালভাবে হতে পারে যে কেউ প্রমাণ করতে পারে যে একটি গুরুত্বপূর্ণ সম্পত্তি গাণিতিক বা গণনামূলক অবজেক্টের খুব বড় পরিবারের জন্য অনস্বীকার্য।
এর অর্থ এই নয় যে আপনার কোনও সমাধান অনুসন্ধান করা বন্ধ করা উচিত, তবে কেবলমাত্র আপনি পুরো পরিবারের জন্য একটি খুঁজে পাবেন না।
তারপরে আপনি যা করতে পারেন তা হল প্রাসঙ্গিক সাবফ্যামিলিগুলি সনাক্ত করা যার জন্য সমস্যার সমাধান গুরুত্বপূর্ণ হয়ে পড়ে এবং সম্পত্তিটি সেই ছোট পরিবারের সদস্যদের জন্য রয়েছে কিনা তা সিদ্ধান্ত নিতে অ্যালগরিদম সরবরাহ করার চেষ্টা করুন।
সাধারণত, টিএমের জন্য সাধারণভাবে থামানো অনস্বীকার্য, তবে এটি স্বয়ংক্রিয়তার বড় এবং দরকারী পরিবারগুলির জন্য প্রায়শই খুব সহজভাবে সিদ্ধান্ত নেওয়া যায়, এটি সমস্ত টিএম-এর বিশেষ ক্ষেত্রে দেখা যায়।