নিরোধবাদী প্রসঙ্গ-মুক্ত এবং দৃশ্যমান পুশডাউন ভাষার জন্য কী ভাল স্বীকৃতি রয়েছে?

Question

নির্ধারিত প্রসঙ্গবিহীন ভাষা (ডিসিএফএল) এবং দৃশ্যমান পুশডাউন ল্যাঙ্গুয়েজ (ভিপিএল) উভয় প্রসঙ্গ-মুক্ত ভাষা (সিএফএল) এবং নিয়মিত ভাষা (আরইজি) এর মধ্যে আনুষ্ঠানিক ভাষার সেট। সিডিএফএল-এর ব্যাকাস-নওর-ফর্মের মতো এবং আরইজি-র জন্য নিয়মিত প্রকাশের মতো সরল ASCII তে প্রকাশ করার মতো একটি স্বরলিপি আছে কি?

Comments

প্রশ্নের শিরোনামে "ভাল" এর অর্থটি পরিষ্কার করা কার্যকর হতে পারে। ডিসিএফএল বর্ণনা করতে বিএনএফ ব্যবহার করে কী ভুল?

— সোসোশি ইতো

ভাল বলতে গেলে আমি বোঝাতে চাইছি এটি মানুষের পক্ষে পড়া এবং লেখা সহজ হওয়া উচিত, সুতরাং এটি ASCII এর উপর ভিত্তি করে হওয়া উচিত। বিএনএফ দুর্দান্ত - নিয়মিত এক্সপ্রেশন হ'ল বিএনএফের একটি কমপ্যাক্ট সাবসেট। তবে বিএনএফ-এর কোন উপসেট ডিসিএফএলকে সংজ্ঞায়িত করেছে এবং কোনটি ভিপিএলকে সংজ্ঞায়িত করে?

— Jakob

Answer 1

DCFLs সংক্রান্ত, আমি নিয়ন্ত্রণবাদী pushdown যন্ত্রমানব পরিবর্তন ফাংশন চেয়ে ভাল স্বরলিপি দেখি না, অর্থাত লেখা স্পষ্টভাবে ফর্ম নিয়ম সঙ্গে কুই , কুই ' রাজ্যের প্রশ্ন , z- র একটি স্ট্যাক প্রতীক, st স্ট্যাক চিহ্নগুলির একটি ক্রম এবং $q,z,a\to q',\gamma$$q,q'$$Q$$z$$\gamma$$a$একটি ইনপুট প্রতীক বা খালি স্ট্রিং। স্বরলিপি নিজেই নির্ধারণবাদ প্রয়োগ করে না, তবে এটি সহজেই পরীক্ষা করা হয়। প্রসঙ্গমুক্ত ব্যাকরণ ধরণের স্বরলিপি (বিএনএফ হিসাবে) ব্যবহার করে আপনি সমস্যার মধ্যে পড়তে চলেছেন যেহেতু ডিসিএফএলগুলি সিএফএলগুলির যথাযথ উপক্লাস, এবং ড্যানিএলসিএল দ্বারা উল্লিখিত হিসাবে, আপনি কোনও সিএফজির সাধারণভাবে সিদ্ধান্ত নিতে পারবেন না যে এর ভাষা নির্বোধবাদী কিনা।

VPLs সম্বন্ধে CFGs জন্য বন্ধনী করা / প্রথম বন্ধনী-শৈলী যথেষ্ট, ফর্ম নিয়ম হবে যেখানে একজন একটি nonterminal হয় একটি একটি কল প্রতীক, খ একটি ফিরতি প্রতীক, এবং α একটি ক্রম মিশ্র উপর রেগুলার এক্সপ্রেশন অভ্যন্তরীণ প্রতীক এবং অবিচ্ছিন্ন। যেহেতু কোনও ভিপিএল হ'ল একটি (ডি) সিএফএল আপনি পুশডাউন অটোমেটার জন্য উপরের স্বরলিপিটি পুনরায় ব্যবহার করতে পারেন এবং স্ট্যাক ক্রিয়াকলাপ কল এবং রিটার্নের সাথে মেলে কিনা বা নেস্টেড শব্দের অটোমেটনের সংক্রমণ সম্পর্কটি লিখে ফেলতে পারেন (যা কম অপ্রয়োজনীয় হবে) ।$A\to a\alpha b$$A$$a$$b$$\alpha$

সম্পাদনা: এটি ভাবতে আসা, এক্সএমএল স্কিমার জন্য একটি স্বরলিপি, যেমন রিল্যাক্সএনজির কমপ্যাক্ট সিনট্যাক্স --- যা একটি ASCII স্বরলিপি --- খুব সহজেই ভিপিএলগুলির জন্য ব্যবহার করা যেতে পারে। আপনি শুধু ট্যাগ জন্য কিছু নামকরণ নিয়মাবলী জোরদার করা, যেমন খোলা ট্যাগ "<AB>" একটি কল প্রতীকের জন্য প্রয়োজন চাই ম্যাচিং একটি ক্লোজিং ট্যাগ "</ এবি>" একটি ফিরতি প্রতীকের জন্য খ ।$a$$b$

Comments

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

— জাকব

মন্তব্যটি ব্যবহার করে ... হতাশাবোধমূলক । বিন্দুর পাশে - এটি সিএফজির একটি সাবক্লাস রয়েছে কিনা সে সম্পর্কে কিছুই জানায় না যা খুব স্পষ্টভাবে সমস্ত ডিসিএফএল এবং অন্য কিছুই বর্ণনা করে না। যেমন এলআর (কে) ব্যাকরণ।

— পুনরায় পোস্টার

@ রিনারপোস্ট: সত্য, তবে (আমার প্রতিরক্ষার সাথে) আমি এলআর (1) ব্যাকরণগুলিকে সিন্ট্যাকটিক স্বরলিপি সরবরাহ করার জন্য বিবেচনা করব না , কারণ এলআর (1) শর্ত পরীক্ষা করতে হবে।

— সিলভাইন

Answer 2

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

যাইহোক, মনে রাখবেন যে প্রদত্ত প্রসঙ্গমুক্ত ভাষা নির্বিচারবাদী (গ্রিবাচের উপপাদ্য) কিনা তা অনস্বীকার্য।

আমাকে অবশ্যই স্বীকার করতে হবে আমি ভিপিএল এর কথা কখনও শুনিনি।

Comments

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

— Jakob

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

— ড্যানিসিএল

"আপনি স্থির কে এর জন্য এই ব্যাকরণটি এলআর (কে)" কিনা তা স্থির করতে পারেন।

— সিলভাইন

@ জাকোব: গ্রিবাচের উপপাদ্যটি এটি উল্লেখ করে না, এবং তা করা হলেও এটির অর্থ কেবল এই হবে যে স্বেচ্ছাসেবী সিএফজিগুলি ডিসিএফজির জন্য উপযুক্ত স্বীকৃতি রীতি নয়, যেমন তারা নিয়মিত ভাষার জন্য একটি স্বরলিপি আনুষ্ঠানিকতা নয় (যাই হোক না কেন সিএফজি বর্ণনা করে একটি নিয়মিত ভাষাও অনস্বীকার্য)। সিএফজি (যেমন নিয়মিত ভাষার নিয়মিত ব্যাকরণ) এর সাবক্লাসটি বাছাইয়ের ক্ষেত্রে কোনও ভুল নেই।

— পুনরায় পোস্টার

পাঠ্যপুস্তকগুলিতে এখানে opালু শব্দের একটি traditionতিহ্য রয়েছে: তারা "একটি সিএফএল নিয়মিত / নিয়মিতবাদী কিনা এটি অনস্বীকার্য" যখন তারা সত্যিকার অর্থে এর অর্থ কী "এটি অনস্বীকার্য যে কোনও সিএফজি নিয়মিত / নির্বাহককে বর্ণনা করে কিনা তা অনস্বীকার্য ভাষা".

— পুনরায় পোস্টার