ট্যুরিং মেশিন - এক বা দুটি দিকে অসীম টেপ

Question

আমি দেখেছি টুরিং মেশিনগুলি টেপগুলির সাথে এক এবং দুদিকে দিশে বেঁধে উপস্থাপিত be এই ধরনের টিউরিং মেশিনগুলির শক্তিতে কোনও পার্থক্য রয়েছে, বা এগুলি মূলত সমান? আমার মাথায় আমি সেগুলি সমতুল্য বলে মনে করি, যেহেতু আমি অনুমান করি যে দ্বিমুখী অসীম টেপকে একমুখী অসীম টেপ হিসাবে উপস্থাপন করার কিছু উপায় অবশ্যই আছে তবে আমি এর প্রমাণ বা উদাহরণ খুঁজে পাচ্ছি না।

Comments

আপনি রাজ্য এবং টেপ প্রতীকগুলি নকল করুন, যাতে আপনার ডান অংশের জন্য একটি সংস্করণ এবং বাম অংশের জন্য অন্যটি থাকে। টেপটিতে, আপনি জোড়া চিহ্ন, একটি বাম এবং একটি ডান সংরক্ষণ করুন। আপনি রূপান্তর ফাংশনটি সামঞ্জস্য করেন যাতে এটি বর্তমানে আপনি যে অর্ধেক টেপটির সাথে কাজ করছেন তার সাথে যুক্ত জুড়ির কেবলমাত্র অংশটি পরিবর্তন করে। আপনি যখন বিবেচনা করছেন অর্ধেক টেপটি পরিবর্তন করতে হবে তখন কিছুটা পরিচালনা করুন। ভুলে যাবেন না যে আপনি যদি বাম দিকে ডান অর্ধ-টেপ ভাঁজ করেন তবে মাথা গতিগুলি বিপরীত হবে। সুতরাং সেই অনুযায়ী সঠিক রাজ্যের জন্য আপনার স্থানান্তরগুলি পরিবর্তন করুন।

— বাবু

@ বাউবু সম্পূর্ণ উত্তরে পরিণত হয়?

— যুবাল ফিল্মাস

Answer 1

এগুলি গণনার ক্ষমতার সমান। এই দুই ধরণের ট্যুরিং মেশিনের মধ্যে একটির দ্বারা গণ্যযোগ্য কিছু, অন্য ধরণের দ্বারা গণনাযোগ্য। আসুন আমরা কীভাবে দ্বিগুণ অসীম টেপ সহ একটি টুরিং মেশিনকে একক অসীম টেপযুক্ত টুরিং মেশিনে অনুকরণ করতে পারি তা দেখুন।

ধারণাটি হ'ল আপনার দ্বিগুণ অনন্ত টেপ দুটি কেটে ফেলুন, যাতে আপনার দুটি একক অসীম টেপ থাকে, একটি বাম এবং একটি ডান থাকে, যা আপনি শেষ পর্যন্ত একীভূত হন। আপনি একটি বিশেষ ইওফ চিহ্ন সহ একটি টেপের অবস্থানের সাথে প্রান্তগুলি চিহ্নিত করতে পারেন। আপনি আপনার সসীম নিয়ন্ত্রণেরও সদৃশ করুন যাতে আপনার দুটি অভিন্ন সসীম রাষ্ট্রীয় নিয়ন্ত্রণ থাকে। আপনি ধরে নিয়েছেন যে আপনার কাছে একটি নিয়ন্ত্রণ পাসিং ডিভাইস রয়েছে (নীচে দেখুন), যাতে বাম মেশিনটি যখন তার টেপের ডান প্রান্তটি ছাড়িয়ে যাওয়ার চেষ্টা করে, তখন এটি তার বামদিকে টেপ অবস্থানে (নিয়ন্ত্রণের ঠিক আগে) ডান মেশিনে নিয়ন্ত্রণ পাস করে ডান টেপের বাম প্রান্ত)। এবং বিপরীতে, যখন ডান টেপটির বাম প্রান্তটি পাস করার চেষ্টা করবেন।

$R$$L$

এখন আমরা দুটি অর্ধ-টেপ একত্রীকরণের জন্য প্রস্তুত, উদাহরণস্বরূপ, বামদিকে ডানদিকে ভাঁজ করে। এর জন্য আপনি ডান অর্ধেক টেপের উপরে ওঠান, এবং সেই অনুসারে রূপান্তরগুলি সংশোধন করতে সতর্ক হন, বাম থেকে ডানে ডানদিকে বিনিময় করে exchan তারপরে আপনি দুটি অর্ধেক টেপগুলিকে একক টেপে সংযুক্ত করুন যা জোড়া চিহ্ন, একটি বাম এবং একটি ডান, প্রতিটি উপাদান সম্ভবত ফাঁকা রয়েছে।

আপনি উভয় মেশিনের ট্রানজিশনগুলি আবারও সংশোধন করুন, যাতে বাম (রেস। ডান) ট্রানজিশনগুলি টেপের জোড়গুলির কেবলমাত্র বাম (রেস। ডান) অংশগুলি ব্যবহার করে এবং সংশোধন করে। তারপরে আপনি যথাযথ রাজ্যগুলির জন্য এবং সংক্রমণের জন্য দুটি সেট মেশিনের নিয়ন্ত্রণকে সাধারণ সেট ইউনিয়ন দ্বারা মার্জ করুন।

আপনি প্রতিটি বিদ্যমান অবস্থার জন্য ট্রানজিশনের একটি সেট যুক্ত করেন, যাতে টেপ চিহ্নটি ইওএফ হলে এটি পূর্ববর্তী টেপের অবস্থানটিতে ফিরে যায় (প্রথম অ-ইওএফ অবস্থান) এবং রাষ্ট্রটি তার চিয়ারাল অংশে পরিবর্তিত হয়: যদি এটি বাম হয় (রেস। ডান) রাষ্ট্র, এটি তার ডানদিকে (রেস। বাম) অংশে পরিবর্তিত হয়। এটি নিয়ন্ত্রণ পাসিং ডিভাইস।

আমি কোনও বিবরণ ভুলে থাকতে পারি তবে এটি নির্মাণের সাধারণ ধারণা। প্রমাণটি মৃত্যুদণ্ড হিসাবে রেখে দেওয়া হয়েছে।

অবশ্যই, প্রাথমিক টেপ (ইনপুট) সেই অনুযায়ী পরিবর্তন করতে হবে। তবে টেপ কাটার পুরোপুরি বাম দিকে (যদি স্ফীত হয় না) পুরোপুরি ইনপুট রেখে (সহজেই সীমাবদ্ধ করা) সহজ করা যায়।

তারপরে আপনি স্ক্রু ড্রাইভারটি দূরে সরিয়ে দিয়েছেন কারণ এটি বাচ্চাদের পক্ষে বিপজ্জনক হতে পারে।

পিএস আমি কেবল দেখিয়েছি যে দ্বিগুণ অনন্ত টেপটি এককভাবে অসীম টেপ দিয়ে সিমুলেটেড করা যায়। কথোপকথনটি খুব সুস্পষ্ট বলে মনে হচ্ছে।

Comments

@DW সম্পাদনার জন্য ধন্যবাদ। আমার এটা করা উচিত ছিল। আমার স্মরণ হিসাবে, আমি সম্পাদনার পরে 5 মিনিটের গরিব সময়কালে একটি চিন্তা-ভাবনা হিসাবে শেষ লাইনটি inোকালাম। সম্পাদনা সংখ্যার উপর বিদ্যমান নিয়মগুলি দেওয়া, আমি সাধারণত নতুন সম্পাদনার অধিবেশন হওয়ার আগে প্রয়োজনীয় পরিবর্তনগুলি সংগ্রহ করার জন্য অপেক্ষা করি।

— বাবু

আহ, হ্যাঁ, সম্পাদনার নিয়ম! আমি সম্পাদনার সংখ্যা সীমিত করে এমন নিয়মগুলির অনুরাগী নই; যে কোনও সময় লোকেরা তাদের উত্তরটি উন্নত করতে অনিচ্ছুক করে তোলে সাইটের জন্য ক্ষতির মতো মনে হয়, তবে ওহ, ভালই কি করবে? দুঃখিত, আমি আপনার সম্পাদনা গণনাটিকে এক এক করে ছিটিয়েছি - আপনি ইতিমধ্যে যে পরিমাণ কাজ রেখেছিলেন তাতে আমি আপনাকে বিরক্ত করতে চাইনি, তবে সম্ভবত আমার আগে জিজ্ঞাসা করা উচিত ছিল। মহান উত্তরের জন্য ধন্যবাদ!

— DW

একটি দক্ষ সিমুলেশন জিজ্ঞাসা করা প্রশ্ন: সিএস.স্ট্যাকেক্সেঞ্জিং

— সিওরো সান্তিলি 冠状 病毒 审查 六四 事件 法轮功