একটি পিডিএ এম দেওয়া যেমন এল (এম) ডিসিএফএল এ থাকে এমন একটি ডিপিডিএ এন তৈরি করুন যে এল (এন) = এল (এম)

Question

এই অটোমেটনের এল ( এম ) দ্বারা গৃহীত ভাষাটি একটি নির্বিচারবাদী প্রসঙ্গ-মুক্ত ভাষা এবং একটি নির্বিচারে পুশডাউন অটোমেটন এন আউটপুট দেয় যা ঠিকভাবে গ্রহণযোগ্য ভাষা গ্রহণ করে এমন প্রতিশ্রুতি সহ একটি অ্যালগরিদম তৈরি করা সম্ভব যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটন গ্রহণ করে with এম দ্বারা ?$M$$L(M)$$N$$M$

সমতুল্য সমস্যা হ'ল একটি অ্যালগরিদম তৈরি করা যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটা ( উপরের মতো এল ( এম ) প্রতিরোধমূলক, প্রতিশ্রুতি সহ ) এবং একটি ডিস্ট্রিমেন্টিক পুশডাউন অটোমেটা এন গঠন করে । আউটপুট হবে হ্যাঁ যদি এল ( এম ) = এল ( এন ) এবং কোন যদি এল ( এম ) ≠ এল ( এন ) ।$M$$L(M)$$N$$L(M) = L(N)$$L(M)\neq L(N)$

আমি বিশ্বাস করি যে প্রথম অ্যালগরিদম সমাধান করার সময় ডিটারিস্টিনিস্টিক পুশডাউন অটোম্যাটার সমতুল্যতার সংক্ষিপ্ততা দ্বারা দ্বিতীয়টিকে অ্যালগরিদম সমাধান করা হবে give আমি মনে করি যে দ্বিতীয়টির সমাধানটি প্রথমে একটি সমাধানকে বোঝায় যেহেতু আমরা সমস্ত ডিটারিনিস্টিক পুশডাউন অটোমেটা গণনা করি এবং সেগুলির উপরে একের পর এক অ্যালগরিদম চালাই, একবার যখন আমরা হ্যাঁর উদাহরণ পাই আমরা সেই অটোমেটনের আউটপুট পাই।

আমি ভাবছি কেউ এ সম্পর্কে কিছু জানে কিনা? হতে পারে এটি একটি পরিচিত সমস্যা এবং / অথবা এর একটি সমাধান রয়েছে? একদিকে যেমন, আমি বিশ্বাস করি যে আপনি যদি এই বিধিনিষেধটি প্রবর্তন করেন যা পিডিএ দ্বারা উত্পাদিত ভাষাটি একটি গোষ্ঠীর শব্দ সমস্যা problem

Comments

নির্ণয় এবং সমতা সুপরিচিত অনির্বাচিত সমস্যা। উদাহরণস্বরূপ আপনি এগুলি হপক্রফ্ট এবং ওলম্যানে পাবেন (1979) ।

— সিলভাইন

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

— স্যাম জোন্স

আমার খারাপ, আমি আপনার পোস্টটি খুব দ্রুত পড়ি। আকর্ষণীয় প্রশ্ন আসলে।

— সিলভাইন

Answer 1

$M$$w$$w$$L$$w$$L = A^{\ast}$$M$$w$$L = A^{\ast} - \{h\}$$h$$M$$w$$h$$L$$L$$L$

ছোট স্পষ্টতা:

নিম্নলিখিত প্রশ্নটি সিদ্ধান্ত গ্রহণযোগ্য কিনা আপনি জিজ্ঞাসা করেছেন:

$M$$L(M)$$N$$L(M) = L(N)$

উত্তরটি হ'ল না, এবং প্রকৃতপক্ষে নিম্নলিখিত শক্তিশালী সত্যটি ধারণ করে: নিম্নলিখিত সমস্যাটি অনস্বীকার্য:

$M$$L(M)$$L(M)=A^{\ast}$

Comments

$A^{*}$

$w$$A^{\ast}$$M$$w$

$L=A^{*}$$L=A^{*}-\{h\}$

$M$$w$$M$$w$$M$

ঠিক আছে শেষ পর্যন্ত।

— সিলভাইন