কুরোড়ার একটি ক্লাসিক ফলাফল অনুসারে, জটিলতা ক্লাস এনএসপিএসিই [ এন ] (এটি এনলিন-স্পেস নামে পরিচিত) হ'ল প্রাসঙ্গিক সংবেদনশীল ভাষার ক্লাস সিএসএল । সন্তুষ্টিযোগ্যতা সমস্যাটি স্যাট এনএসপেসে রয়েছে [ ], যেহেতু কোনও সমাধানের জন্য লিনিয়ার আকারের অনুমানটি বইয়ের রক্ষার জন্য বেশিরভাগ রৈখিক পরিমাণের ওভারহেড দিয়ে পরীক্ষা করা যায়। এর অর্থ হল যে স্যাটকে অবশ্যই একটি প্রসঙ্গ-সংবেদনশীল ব্যাকরণ (সিএসজি) থাকতে হবে।
কেউ কি স্যাটের জন্য কোনও সিএসজি সরবরাহের চেষ্টা করেছে?
আমি বুঝতে পারলাম সিএসএল সম্পর্কিত অনেকগুলি প্রশ্ন অনস্বীকার্য (উদাহরণস্বরূপ সিদ্ধান্ত নেওয়া যে কোনও প্রদত্ত সিএসজি খালি ভাষা উত্পন্ন করে কিনা)। এমনকি স্যাটকে সিএসজি দেওয়া হলেও যে কোনও বাধা অতিক্রম করতে হবে যে কোনও সিএসজি প্রদত্ত ভাষায় সদস্যপদ স্থির করার সিদ্ধান্তটি সাধারণভাবে পিএসপিএসিই সম্পূর্ণ। তবে এটি এমন পরিস্থিতিতে হতে পারে যে ভাষার কিছু বিশেষ কাঠামোর কারণে স্যাট সংজ্ঞায়িত সিএসজির সদস্যপদ সমস্যাটি এনপিতে থাকে। এমএইচসি-র মন্তব্যকে সম্বোধন করার জন্য রিফ্র্যাসিং: তবে এটি হতে পারে যে ব্যাকরণের কিছু বিশেষ কাঠামোর কারণে স্যাট সংজ্ঞায়িত সিএসজির সদস্যপদ সমস্যাটি এনপিতে প্রদর্শিত হতে পারে, এবং না কারণ আমরা ইতিমধ্যে জানি যে এটি অবশ্যই থাকতে হবে দ্বারা NP।
- S.-Y. কুরোদা, ভাষার শ্রেণি এবং লিনিয়ার-সীমাবদ্ধ অটোমেটা , তথ্য এবং নিয়ন্ত্রণ 7 (2) 207–223, 1964. ডওই: 10.1016 / এস 10019-9958 (64) 90120-2
ব্যাখ্যা:
এখানে উদ্দিষ্ট ফোকাসটি হ'ল স্যাট ব্যাকরণের বিশেষ বৈশিষ্ট্য যা এটি এনএসপিএইচ [ এন ] ⊆ টিটিটাইম [ 2 ও ( এন ) ] গণ্ডির চেয়ে একটি এনটিটাইম [পলি ( )] মেশিন দ্বারা স্বীকৃত হতে দেয় ।
ল্যান্ডওয়েবারের 1963 এর কাগজে থিয়েরেম 3 এর প্রমাণ একটি লিনিয়ার-সীমাবদ্ধ অটোমেটন থেকে একটি সিএসজি তৈরি করে। (কুরোদা কোনও সিএসজির জন্য রৈখিক-বাহিত অটোমেটন তৈরি করে, কথোপকথন সরবরাহ করেছিল)) তবে, ল্যান্ডওয়েবারের পদ্ধতিটি স্যাটকে বিশেষ রূপের জন্য একটি ব্যাকরণ দেবে বলে মনে হয় না: সমস্ত এনএসপিএসিই [ ] সনাক্তকারীদের একই জেনেরিক পদ্ধতিতে আচরণ করা হয়। অন্য কথায়, এটি স্পষ্ট নয় যে স্যাট সিএসজির পিএসপিএসিই-সম্পূর্ণ হওয়ার পরিবর্তে এনপি সদস্যতার সমস্যা কেন হওয়া উচিত। আমি আরও সুস্পষ্ট নির্মাণের জন্য আশা করছিলাম যা কিছু প্রয়োজনীয় উপায়ে স্যাট এর এনপি-নেস ব্যবহার করে।
সম্ভবত আরও ভাল, আরও সুনির্দিষ্ট প্রশ্নটি হ'ল:
- একটি লিনিয়ার-সীমাবদ্ধ অটোমেটনের উপস্থিত রয়েছে যা স্যাটকে স্বীকৃতি দেয়,
- যা থেকে একজন সিএসজি বের করতে পারে,
- যাতে ব্যাকরণের কিছু বৈশিষ্ট্যের কারণে সিএসজি দ্বারা সংজ্ঞায়িত ভাষাটি এনপিতে থাকে (এবং আমরা ইতিমধ্যে জানি না যে এটি এনপিতে রয়েছে)?
মধ্যবর্তী পাঁচ দশকে, নিশ্চয়ই কেউ এটি করার চেষ্টা করেছেন! যেহেতু আমি এই রেখাগুলি দিয়ে প্রকাশিত কিছু খুঁজে পাচ্ছি না, কেন আমি এই পদ্ধতির কাজ করে না তা বুঝতে আগ্রহী হব, বা কাজ করার কোনও পয়েন্টার আমি মিস করেছি।
- পিটার এস ল্যান্ডওবার, টাইপ 1 , তথ্য ও নিয়ন্ত্রণ 6 (2) 131–136, 1963 এর বাক্যাংশ কাঠামোর ব্যাকরণ সম্পর্কিত তিনটি উপপাদ্য do ডও: 10.1016 / এস 0019-9958 (63) 90169-4