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