বাইরে একটি "সরল" ভাষা


12

আমি নীচের বৈশিষ্ট্যগুলি সহ একটি ভাষা L খুঁজছি:

  1. এল এর প্রসঙ্গমুক্ত হওয়া উচিত নয়।

  2. এল এর পরিপূরক প্রসঙ্গমুক্ত হওয়া উচিত নয়। (পাঠ্যপুস্তকে আপনি প্রাসঙ্গিক-মুক্ত ভাষার প্রধান উদাহরণ হিসাবে যা দেখছেন তা এই দ্বিতীয় প্রয়োজনীয়তা ব্যর্থ বলে মনে হচ্ছে))

  3. এল খুব শক্ত হওয়া উচিত নয়, উদাহরণস্বরূপ, আমি জানি যে অনির্বচনীয় ভাষা প্রথম দুটি প্রয়োজনীয়তার সাথে খাপ খায়, তবে আমি যা চাই তা সহজ ভাষা যা সামান্য "উন্নত" অটোমেটনের মডেল দ্বারা স্বীকৃত হতে পারে, যেমন একটি সম্ভাব্য পুশডাউন অটোমেটন।

উত্তর:


15

এখানে আরও একটি উদাহরণ:

L={x#yxEQ,yEQ¯} ,
যেখানে EQ={anbncnn0} এবংEQ¯ এর সম্পূরকEQ

এটা একটা সুপরিচিত সত্য যে EQ নেই CFL

LP1PwPP1w#aPEQLCFL

LP2PwPP2#wPEQLcoCFL

EQ কোনও পছন্দসই ত্রুটিযুক্ত ( ফ্রেইভাল্ডস, 1979 ) দ্বারা একটি (একমুখী) সম্ভাব্য ওয়ান-কাউন্টার অটোমেটন (পি 1 সিএ) দ্বারা স্বীকৃত হতে পারে recognized সুতরাং, এটি দেখানো কঠিন নয় যে কোনও পছন্দসই ত্রুটির সাথে আবদ্ধ একটি with a P1CA দ্বারাও স্বীকৃত হতে পারে।L


ডোমিনিকের উত্তরের চেয়ে আরও ভাল, যেহেতু এটি একটি পিপিডিএ ভাষা স্বীকৃতি দেওয়ারও বর্ণনা করে! (ডোমিনিক্স একটি ট্যালি ভাষা, এবং টালি ভাষার বিষয়ে পিডিএর চেয়ে উন্নত একটি পিপিডিএ কীভাবে তৈরি করা যায় সে সম্পর্কে আমার কোনও ধারণা নেই))
কেম

@ কেমসে: পিপিডিএরা কোনও তাত্পর্যপূর্ণ অনিয়মিত ভাষা বাউন্ডেড ত্রুটির সাথে স্বীকৃতি দিতে পারে না, খুব বেশি কানেপস এবং অন্যান্য।
আবুজার ইয়াকারিয়ালমাজ

22

মধ্যে সম্পর্কে কীভাবে ? এটি সহজেই দেখতে পাওয়া যায় যে এবং এর পরিপূরকগুলি নিয়মিত নয় এবং তাই (যেমন আমরা একটি অলৌকিক বর্ণমালা নিয়ে কাজ করছি) প্রসঙ্গ-মুক্ত নয়।L:={an2nN}L


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

4

QSAT বা এমনকি , যদি না যথাক্রমে বা হয়। একটি উদাহরণ, এটি কমপ্লিট এবং ।SATP=PSPACEP=NPSATNPCFLP

QSAT (সত্য পরিমাণে বুলিয়ান সূত্র) , এবং একটি সিএসএল, একটি এলবিএ দ্বারা সনাক্তযোগ্য।PSPACE

নিঃশর্ত উদাহরণস্বরূপ আপনি একটি নির্বিচারে কমপ্লিট সমস্যা নিতে পারেন , যেমন জেনারেলাইজড দাবা বা গো।EXP


হ্যাঁ, ধন্যবাদ, তবে যে কোনও সরল, সম্ভবত পি ক্লাসের লোকেরা, দয়া করে?
সেমে বলে
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.