تالار گفتمان مانشت

نسخه‌ی کامل: تشخیص مستقل از متن قطعی و عیر قطعی بودن 6 زبان
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
دوستان میشه توضیح بدید کدوم یک از زبان ها قطعی یا غیر قطعی ن؟

[tex]L1=\{a^nb^na^mb^{m\: }\: \mid\: n\ge0\: ,m\ge1\}[/tex]

[tex]L2=\{a^nb^na^mb^{m\: }\: \mid\: n\ge1\: ,m\ge0\}[/tex]

[tex]L3=\{a^nb^na^mb^{2m\: }\: \mid\: n\ge0\: ,m\ge1\}[/tex]

[tex]L4=\{a^nb^{2n}a^mb^{m\: }\: \mid\: n\ge1\: ,,m\ge0\}[/tex]

[tex]L5=\{a^nb^{2n}a^mb^{m\: }\: \mid\: n,m\ge1\: \}[/tex]

[tex]L6=\{a^nb^{2n}a^nb^{2n}\: \mid\: n\ge0\}[/tex]
با سلام همشون قطعی هستن به جز زبان سوم و زبان آخر
زبان اخر معادل همون ww
هستش که حساس به متنه
موفق باشید.
زبان آخر که اصلا مستقل از متن نیست.!!!!
چطور میفهمیم که کدوم قطعیه کدوم غیر قطعی؟
(29 دى 1393 03:41 ب.ظ)Ametrine نوشته شده توسط: [ -> ]چطور میفهمیم که کدوم قطعیه کدوم غیر قطعی؟

سلام. به حداقل مقدار توان دقت کنید. اگه توان سمت چپ بتونه 0 بشه و نسبت جفت توانها سمت چپ و راست یکی نباشه حالت غیرقطعی رخ میده.
لینک مرجع