সম্পাদনা: আমি যে কিছু লিখেছি সেগুলি অনুধাবন করেছিলাম তার জন্য দুঃখিত sorry এখন আমি প্রমাণটি পরিবর্তন করেছি এবং সম্ভাব্য মেশিনের সংজ্ঞা তৈরি করেছি যা আমি আরও সুনির্দিষ্টভাবে ব্যবহার করছি।
আমি জানি না যে আমি আপনার সম্ভাব্য সম্ভাব্য ট্যুরিং মেশিনের সংজ্ঞাটি সঠিকভাবে পেয়েছি কি না: এটি এমন একটি মেশিন যা অতিরিক্ত টেপযুক্ত যার উপর একটি অসীম সংকোচনযোগ্য স্ট্রিং লেখা থাকে এবং তার পাশেই এটি কেবল একটি ডিস্ট্রিমেন্টিক মেশিনের মতো কাজ করে? যদি আমরা অবিস্মরণীয় স্ট্রিংটি ঠিক করি তবে আমাদের ক্লাসটি আকর্ষণীয় বলে মনে হচ্ছে না।
আমি মনে করি আমরা সম্ভাব্য টিউরিং মেশিনকে বিভিন্ন উপায়ে সংজ্ঞায়িত করতে পারি। আমি এমন একটি সংজ্ঞা ব্যবহার করব যা বেশ প্রাকৃতিক বলে মনে হচ্ছে (এবং যার জন্য আমার প্রমাণটি কাজ করে;) আসুন এর মতো একটি সম্ভাব্য মেশিনকে সংজ্ঞায়িত করুন: এটি একটি অতিরিক্ত টেপ পায় যার উপর কিছু অসীম স্ট্রিং লেখা থাকে, আমরা বলি যে এই মেশিনটি কোনও ভাষা সিদ্ধান্ত নেয় যদি তবে প্রত্যেক এক্স ∈ এল এটা স্থগিত এবং সম্ভাব্যতা সঙ্গে গ্রহণ > 1Lx∈L , যখন সম্ভাব্যতা ঐ অতিরিক্ত র্যান্ডম স্ট্রিং অধিগৃহীত, এবং প্রত্যেক জন্যএক্স∉এলএটা স্থগিত এবং সম্ভাব্যতা সঙ্গে প্রত্যাখ্যান>1>12x∉L ।>12
আমরা এখন দেখাব যে যদি এমন কোনও সম্ভাব্য মেশিন উপস্থিত থাকে যা ডিটারমিনিস্টিক মেশিনগুলির জন্য থামার সমস্যাটি সমাধান করে তবে আমরা এটি একটি ডিটারমিনিস্টিক মেশিন এইচ নির্মাণের জন্য ব্যবহার করতে পারি যা ডিটারমিনিটিক মেশিনগুলির জন্য থামানো সমস্যা সমাধান করে - এবং আমরা জানি যে এই জাতীয় একটি মেশিন অস্তিত্ব থাকতে পারে না।PH
ধরুন এ জাতীয় বিদ্যমান রয়েছে। আমরা একটি নির্ণায়ক মেশিন গঠন করা যেতে পারে এম যে ইনপুট হিসাবে সম্ভাব্য মেশিন লাগে আর সাথে কিছু ইনপুট এক্স , যাPMRx
- স্থগিত এবং গ্রহণ করে যদি এবং কেবল যদি গ্রহণ এক্স (অর্থাত আর স্থগিত এবং গ্রহণ করে এক্স অর্ধেক র্যান্ডম স্ট্রিং চেয়ে বেশি তে) খুলুন।RxRx
- স্থগিত এবং প্রত্যাখ্যান যদি এবং কেবল যদি প্রত্যাখ্যান এক্স (অর্থাত আর স্থগিত এবং প্রত্যাখ্যান x অর্ধেক র্যান্ডম স্ট্রিং চেয়ে বেশি তে) খুলুন।RxRx
- লুপ অন্যথায়
মূলত, হবে সবার জন্য আমি ∈ 1 , 2 , । । । অনুকরণ আর ইনপুট এক্স এবং থেকে স্ট্রিং উপর 0 , 1 আমি উপর স্ট্রিং এর একটি উপসর্গ হিসাবে আর এর র্যান্ডম টেপ। এখন:Mi∈1,2,...Rx0,1iR
- যদি দৈর্ঘ্যের উপসর্গআমিRস্থগিত চেয়ে আরও পড়তে চেষ্টা ছাড়া গৃহীতআমি, র্যান্ডম টেপ থেকে বিটএমস্থগিত এবং গ্রহণ>12i RiM
- যদি আমিআরদৈর্ঘ্যের 2 টি উপসর্গটিএলোমেলো টেপ,এমস্ট্যাটস এবং প্রত্যাখ্যান করেআমিবিটেরচেয়ে বেশি পড়ার চেষ্টা না করে থামিয়েছিএবং প্রত্যাখ্যান করেছি>12i RiM
- অন্যথায় i : = i + 1 দিয়ে সিমুলেশন চালায় ।Mi:=i+1
আমাদের এখনই নিজেদের বোঝাতে হবে, যদি সম্ভাব্যতার সাথে x > প্রত্যাখ্যান করে (প্রত্যাখ্যান করে) p > 1Rx , তারপরে কারওর জন্যআমিএটি>1 এরজন্য গ্রহণ করব (প্রত্যাখ্যান করুন)p>12i দৈর্ঘ্যের উপসর্গআমিচেয়ে বেশি পড়ার চেষ্টা করার ছাড়া র্যান্ডম স্ট্রিং এরআমির্যান্ডম টেপ থেকে বিট। এটি প্রযুক্তিগত, তবে বেশ সহজ - যদি আমরা অন্যথায় ধরে নিই তবে গ্রহণ করার (প্রত্যাখ্যান করার) সম্ভাবনাটিp>1 এপৌঁছায়>12ii যেমনআমিকিছু জন্য, অনন্ত যায় অত: পরআমিএটা হতে থাকবেপি>1p>12ii ।p>12
এখন আমরা শুধু আমাদের নির্ণায়ক মেশিন সংজ্ঞায়িত (কিনা একটি প্রদত্ত নির্ণায়ক মেশিন সিদ্ধান্ত অর্থাত বিরাম সমস্যা সমাধানের এন একটি প্রদত্ত শব্দ গ্রহণ করে এক্স ) হিসেবে এইচ ( এন , এক্স ) = এম ( পি ( এন , এক্স ) ) । মনে রাখবেন এম ( পি ( এন , এক্স ) ) সর্বদা থেমে থাকে, কারণ আমাদের সম্ভাব্য মেশিনগুলির দ্বারা কোনও ভাষা নির্ধারণের বিষয়টি এমনভাবে সংজ্ঞায়িত করা হয়েছিল যে two দুটির মধ্যে একটি সর্বদা উপস্থিত থাকে:HNxH(N,x)=M(P(N,x))M(P(N,x))
- অর্ধেকেরও বেশি এলোমেলো স্ট্রিংয়ের জন্য মেশিনটি থামে এবং গ্রহণ করে
- অর্ধেকেরও বেশি এলোমেলো স্ট্রিংয়ের জন্য মেশিনটি থামিয়ে দেয় এবং প্রত্যাখ্যান করে।