এর পরিপূরকগুলির জন্য একটি পিডিএ তৈরি করুন

যদি এই এমনকি সম্ভব, যেহেতু আমি অবাক হচ্ছি $\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}$ । অতএব একটি পিডিএ হল একটি শব্দ আলাদা করতে পারেন $w\in\{a^n b^n c^n \mid n \geq 0\}$ বাকি থেকে $\{a^*b^*c^*\}$ পাশাপাশি, তা গ্রহণ হতে পারে আমার কাছে পরস্পরবিরোধী শোনাচ্ছে।

আমার ধারণা আমি পিডিএর অ-সংজ্ঞাবহ প্রকৃতির সদ্ব্যবহার করা দরকার তবে আমি ধারণার বাইরে আছি। আপনি যদি কিছু পরামর্শ দিতে পারেন তবে আমি এটির খুব প্রশংসা করব।

— hauptbenutzer
সূত্র

এটি সম্পর্কে আকর্ষণীয় বিষয়টি পরস্পরবিরোধী বলে মনে হচ্ছে। প্রকৃতপক্ষে, পরিপূরক মুক্ত ভাষাগুলি পরিপূরক গ্রহণের অধীনে বন্ধ করা হয়নি ... সুতরাং প্রসঙ্গবিহীন ভাষাগুলির প্রচুর উদাহরণ রয়েছে যা আপনি যে অর্থে অভিহিত করেছেন তা "গ্রহণযোগ্য" হতে পারে। আমি কোনও তাত্ত্বিক নই এবং যেমন, সত্যই এইটির সাথে পুনর্মিলন করতে পারি না তবে সম্ভবত অন্য কেউ চিন্তিত হবার কারণ কেন তা উদ্বিগ্ন হতে পারে?

— প্যাট্রিক 87

নোট যে এই সাধারণীকরণ: এর সম্পূরক

একটি CFG হয়।

{a^{n} b^{n} c^{n} d^{n} e^{n}}

$\{a^n b^n c^n d^n e^n\}$

— sdcvvc

অনুরূপ প্রশ্ন ।

— রাফেল

না, এটি প্রসঙ্গমুক্ত। গ্রহণ করতে , আপনাকে অবশ্যই তিনটি সংখ্যা সমান তা নিশ্চিত করতে হবে। স্বীকার করতে , আপনি শুধু নিশ্চিত করুন যে আপনি নিম্নলিখিত তিনটি ক্ষেত্রে এক করছি করতে হবে: $a^nb^nc^n$ $a^*b^*c^* \setminus a^nb^nc^n$

সংখ্যা s এর সংখ্যা থেকে ভিন্ন ; s অথবা $a$ $b$
সংখ্যা s এর সংখ্যা থেকে ভিন্ন ; s অথবা $a$ $c$
সংখ্যা s এর সংখ্যা থেকে ভিন্ন গুলি। $b$ $c$

এই প্রতিটি ক্ষেত্রে একটি পিডিএ লিখুন, তারপরে প্রারম্ভিক অবস্থা থেকে প্রত্যেককে ননডেটেরিস্টালিস্টিকভাবে লাফিয়ে একত্রিত করুন।

— Patrick87
সূত্র

আমি এই কেসগুলি ঠিকঠাক লিখে দিয়েছি, তবে এগুলি সংযুক্ত করার ধারণাটি আমি অনুপস্থিত। ধন্যবাদ!

— হুপ্টবেনটজার

আসলে আপনার কেবল দুটি মামলা দরকার।

— sdcvvc

@ sdcvvc ভাল পয়েন্ট :)

— প্যাট্রিক 87

S \to x S y | X | Y; X \to x | x X; Y \to y | y Y

$S → xSy | X | Y ; X → x | xX ; Y → y | yY$

a^{+}

$a^+$

c^{+}

$c^+$

S \to a S c | A | C; A \to a B | a A; C \to B c | C c; B \to ε | b B