টিউরিং মেশিনের সমান দুটি স্ট্যাক সহ একটি পুশ-ডাউন অটোমেটন কি?

Question

ইন এই উত্তরটি এটা উল্লেখ করা হয়

একটি নিয়মিত ভাষা একটি সসীম অটোমেটন দ্বারা স্বীকৃত হতে পারে। একটি প্রসঙ্গ-মুক্ত ভাষাতে একটি স্ট্যাকের প্রয়োজন হয়, এবং একটি প্রসঙ্গে সংবেদনশীল ভাষার জন্য দুটি স্ট্যাকের প্রয়োজন হয় (এটির জন্য এটির পুরো ট্যুরিং মেশিনের প্রয়োজন বলার সমতুল্য) ।

আমি উপরের সাহসী অংশটির সত্যতা সম্পর্কে জানতে চেয়েছিলাম। আসলে কি তা সত্য নাকি না? এর উত্তরে পৌঁছানোর ভাল উপায় কী?

Comments

গাed় পাঠ্যে দুটি দাবি রয়েছে তবে আপনার প্রশ্নের শিরোনামটি আপনাকে কেবল তার মধ্যে একটিতে আগ্রহী বলে প্রস্তাব দেয়।

— টাইসন উইলিয়ামস

@ টাইসন উইলিয়ামস: হ্যাঁ, তাই?

— লেজার

এটা সন্দ্বিহান. আমি জানি না যে দুটি দাবীর সাবসেটটি আপনি ন্যায্যতা চান।

— টাইসন উইলিয়ামস

সাহসী হিসাবে এক হিসাবে, প্রশ্নে উল্লিখিত।

— লেজার

@ লেজার: গা bold় পাঠ্যে দুটি স্টেটমেন্ট থাকে ("সিএসএল দুটি স্ট্যাকের প্রয়োজন", "দুটি স্ট্যাক টিএম এর সমতুল্য")। সিএসএল হ'ল আরই এর একটি উপযুক্ত উপসেট, কেবল একটিই সত্য হতে পারে।

— রাফেল

Answer 1

এই উত্তর দুটি বিট;

প্রথমত, টিউরিং মেশিনগুলির দ্বারা স্বীকৃত ভাষার শ্রেণিটি প্রসঙ্গ সংবেদনশীল নয় , এটি পুনরাবৃত্তিযোগ্যভাবে গণনাযোগ্য (প্রসঙ্গ সংবেদনশীল আপনি লিনিয়ার বাউন্ড অটোমেটা থেকে প্রাপ্ত ভাষাগুলির শ্রেণি )।

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

সমতা দেখতে, কেবল প্রথম স্ট্যাকটি বর্তমান অবস্থানের বামে টেপের সামগ্রী হিসাবে এবং দ্বিতীয়টি ডানদিকের সামগ্রী হিসাবে মনে করুন। আপনি যেমন শুরু শুরু:

• উভয় স্ট্যাকের উপরের "স্ট্যাকের নীচে" চিহ্নিতকারীগুলিকে চাপ দিন।
• বাম স্ট্যাকের ইনপুটটি পুশ করুন (ইনপুটটির শেষে "অনুমান করতে" অ-নির্ধারণবাদ ব্যবহার করুন)।
• সবকিছুকে সঠিক স্ট্যাকের দিকে সরান (জিনিসগুলি যথাযথ ক্রমে রাখার জন্য)।

এখন আপনি ইনপুট উপেক্ষা করতে পারেন এবং স্ট্যাকের সামগ্রীতে (যা টেপকে অনুকরণ করে) সবকিছু করতে পারেন। আপনি পড়তে পপ এবং লেখার জন্য চাপ দিন (যাতে আপনি যা পড়েন তার থেকে আলাদা কিছুকে চাপ দিয়ে আপনি "টেপ" পরিবর্তন করতে পারেন)। তারপরে আমরা ডান স্ট্যাক থেকে পপিং করে এবং ডানে সরে যেতে বাম দিকে চাপ দিয়ে এবং বিপরীতে বাম দিকে সরিয়ে টিএম অনুকরণ করতে পারি। যদি আমরা বাম স্ট্যাকের নীচে আঘাত করি আমরা সে অনুযায়ী আচরণ করি (থামুন এবং প্রত্যাখ্যান করুন, বা আপনি যেখানে থাকবেন, মডেলটির উপর নির্ভর করে), যদি আমরা ডান স্ট্যাকের নীচে আঘাত করি, তবে আমরা কেবল একটি বাম দিকে একটি ফাঁকা প্রতীক ঠেলাচ্ছি।

সম্পূর্ণ আনুষ্ঠানিক প্রমাণের জন্য, অন্য একটি প্রশ্নের উত্তর দেখুন ।

অন্যভাবে সম্পর্কটি আরও সুস্পষ্ট হওয়া উচিত, অর্থাৎ আমরা একটি টিএম দিয়ে একটি দ্বি-স্ট্যাক পিডিএ অনুকরণ করতে পারি।