প্রসঙ্গমুক্ত ব্যাকরণে কি 'মৃত অবস্থা' থাকতে পারে?


18

প্রসঙ্গমুক্ত ব্যাকরণে কোনও অটোমেটনের "মৃত অবস্থা" অন্তর্ভুক্ত থাকতে পারে, যেমন

G=({a,b,c},{A,B,C},{একজনএকটিবি,বি,বিসি,সিসি},একজন)?

উত্পাদনের এবং চিরকালের জন্য লুপ হয়ে যাবে এবং কখনও কোনও শব্দ উত্পন্ন করবে না। এটি অনুমোদিত বা আবশ্যক উত্পাদনের নিয়মগুলি কি কোনও সময়ে টার্মিনালের সাথে শেষ হয়?বিসিসিসি

উত্তর:


24

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


যথেষ্ট নয়: যথাযথ সিএফজিকে অবশ্যই আরও দুটি প্রয়োজনীয়তা পূরণ করতে হবে। সুতরাং আমি এটিকে সংস্কার করব।
পুনরায় পোস্টার

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

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

আপনার উন্নতির জন্য আপনাকে ধন্যবাদ। আমি বলতে চাইছিলাম যে সেখানে সিএফজির সাবক্লাস রয়েছে যে তাদের এ জাতীয় নিয়ম রাখার অনুমতি নেই।
ilke444

({A}, {A}, {A-> epsilon}, A) এর মতো একই ভাষা উত্পন্ন করে এমন কোনও চক্র রয়েছে যাতে অনুপাতহীন নিয়ম, খালি স্ট্রিং প্রোডাকশন এবং কোনও চক্র নেই? আমি প্রথম বাক্যটি পছন্দ করি। হতে পারে দ্বিতীয় বাক্যটি হওয়া উচিত "এটি কারণ সিএফজির সংজ্ঞাটি কোনও উত্পাদনের বাম হাত হিসাবে টার্মিনাল এবং ননটার্মিনালের কোনও সীমাবদ্ধ স্ট্রিংকে মঞ্জুরি দেয়।"
থিওডোর নরভেল

3

হ্যা অবশ্যই. প্রতিটি এনএফএ সিএফজি হিসাবে লেখা যেতে পারে। এবং একটি 'মৃত রাষ্ট্র' (আমাকে যে শব্দটি শেখানো হয়েছিল, এটি 'ডুবা') দিয়ে ডিএফএ তৈরি করা তুচ্ছ।

G=({a},{A},{AA},A)
{a}

ϵ

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