একটি প্রসঙ্গ-মুক্ত ভাষার নিয়মিততার জন্য পর্যাপ্ত শর্তাদি

Question

কন্ডিশন-মুক্ত ভাষা এল নিয়মিত, অর্থাত্ ফর্মের শর্তগুলির একটি তালিকা সংগ্রহ করা ভাল would

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

Comments

খুব সম্ভবত মনে হয় সাধারণ প্রশ্নটি অনস্বীকার্য। সাদৃশ্যটি হ'ল এমন অন্যান্য উপপাদ্যগুলি রয়েছে যেগুলি "B আসলে A" যেখানে A এর চেয়ে "ছোট" ভাষার শ্রেণিটি অনস্বীকার্য। আমি এখানে একটি প্রশ্ন মনে করতে পারি সম্ভবত সিএফএল একই রকম ছিল তবে এটি এখনই এটি খুঁজে পাচ্ছে না।

— vzn

"নিয়মিততা" দ্বারা আপনি বোঝাতে চাইছেন, এটি কি সত্যই নিয়মিত ভাষা ঠিক আছে?

— vzn

ঠিক আছে এটি খুঁজে পেয়েছি। এই প্রশ্নটির সাথে একেবারেই মিল রয়েছে, "আসলে একটি সিএফজি আসলে একটি আরএল" এবং

— অনির্বাচিত

$o(n log n)$

সম্মত, পার্থক্য বৈধ। তবে একই সময়ে এটি জানার জন্যও সাধারণ সমস্যা অনস্বীকার্য। "পর্যাপ্ত শর্তাদি" সাধারণত অ্যালগরিদমের সাথে ঘনিষ্ঠভাবে সংযুক্ত থাকে যেমন উদাহরণস্বরূপ আপনি ও (এন এলজি এন) সময়ের জটিলতা দিয়েছেন।

— vzn

Answer 1

1. প্রতিটি অবিচ্ছিন্ন প্রসঙ্গমুক্ত ভাষা নিয়মিত। (যেমন: পরীখের উপপাদ্যের প্রত্যক্ষ পরিণতি)

2. $$xu^nyv^nz \in L, \text{for all } n \geq 0 \implies xu^iyv^jz \in L, \text{ for all }i,j \geq 0.$$

3. যদি কোনও প্রসঙ্গমুক্ত ভাষা পরিবর্তন এবং লিনিয়ার হয়, তবে এটি নিয়মিত। (এহরনফিউচ্ট, হউস্লার, রোজেনবার্গ, "প্রাসঙ্গিকতা মুক্ত বিষয়গুলির নিয়মিততার উপর" , 1983)