تالار گفتمان مانشت
قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - نسخه‌ی قابل چاپ
قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - Iranian Wizard - 10 اردیبهشت ۱۳۹۵ ۱۲:۱۸ ق.ظ

سلام.تو پاسخ تست کامپیوتر ۸۶ گفته شده که این زبان مستقل از متن غیر قطعی است.

[tex]L\: =\{a^n\: d\: b^m\: :\: \: n\ne m\}\: \cup\: \{a^n\: d\: b^{2n}\: :\: \: n\ge0\}[/tex]

در حالیکه بنظر من مستقل از متن قطعی هستش!
چونکه این زبان معادل زبان [tex]L\: =\{\lambda\}\: \cup\: \{a^n\: d\: b^m\: :\: \: n\ne\: m\}[/tex] است که مستقل از متن قطعی هستش.

بنظر شما آخرش کدوم درسته؟Huh

RE: قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - hamsargol - 10 اردیبهشت ۱۳۹۵ ۱۲:۳۹ ق.ظ

(۱۰ اردیبهشت ۱۳۹۵ ۱۲:۱۸ ق.ظ)IranianWizard نوشته شده توسط:  سلام.تو پاسخ تست کامپیوتر ۸۶ گفته شده که این زبان مستقل از متن غیر قطعی است.

[tex]L\: =\{a^n\: d\: b^m\: :\: \: n\ne m\}\: \cup\: \{a^n\: d\: b^{2n}\: :\: \: n\ge0\}[/tex]

در حالیکه بنظر من مستقل از متن قطعی هستش!
چونکه این زبان معادل زبان [tex]L\: =\{\lambda\}\: \cup\: \{a^n\: d\: b^m\: :\: \: n\ne\: m\}[/tex] است که مستقل از متن قطعی هستش.

بنظر شما آخرش کدوم درسته؟Huh

سلام ببینید مجوعه حاصل اجتماع ۲ چیزه, مجموعه اول در کمترین حالت اگر n=0 باشه میشه adb که اینجا میبینیم شرط n!=m مجموعه دوم به فنا رفت. پس غیر قطعیه موفق باشید

RE: قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - Iranian Wizard - 10 اردیبهشت ۱۳۹۵ ۱۲:۵۵ ق.ظ

(۱۰ اردیبهشت ۱۳۹۵ ۱۲:۳۹ ق.ظ)hamsargol نوشته شده توسط:  
(10 اردیبهشت ۱۳۹۵ ۱۲:۱۸ ق.ظ)IranianWizard نوشته شده توسط:  سلام.تو پاسخ تست کامپیوتر ۸۶ گفته شده که این زبان مستقل از متن غیر قطعی است.

[tex]L\: =\{a^n\: d\: b^m\: :\: \: n\ne m\}\: \cup\: \{a^n\: d\: b^{2n}\: :\: \: n\ge0\}[/tex]

در حالیکه بنظر من مستقل از متن قطعی هستش!
چونکه این زبان معادل زبان [tex]L\: =\{\lambda\}\: \cup\: \{a^n\: d\: b^m\: :\: \: n\ne\: m\}[/tex] است که مستقل از متن قطعی هستش.

بنظر شما آخرش کدوم درسته؟Huh

سلام ببینید مجوعه حاصل اجتماع ۲ چیزه, مجموعه اول در کمترین حالت اگر n=0 باشه میشه adb که اینجا میبینیم شرط n!=m مجموعه دوم به فنا رفت. پس غیر قطعیه موفق باشید

سلام .ممنون از پاسختون. ولی تو مجموعه اول اگه n=0 باشه که میشه d و اگه n=1 باشه میشه adbb

RE: قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - Jooybari - 10 اردیبهشت ۱۳۹۵ ۰۱:۰۰ ق.ظ

سلام. منم با قطعی بودن موافقم.

RE: قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - Iranian Wizard - 10 اردیبهشت ۱۳۹۵ ۰۱:۰۳ ق.ظ

(۱۰ اردیبهشت ۱۳۹۵ ۰۱:۰۰ ق.ظ)Jooybari نوشته شده توسط:  سلام. منم با قطعی بودن موافقم.
ممنون از پاسختون.پس به جوابم مطمئن شدمShy
آیا این زبان خیلی شبیه زبان های غیر قطعی هستش

RE: قطعی بودن زبان L={a^n d b^m | n!=m} U {a^n d b^2n | n>=0} - Jooybari - 14 اردیبهشت ۱۳۹۵ ۰۹:۲۴ ب.ظ

(۱۰ اردیبهشت ۱۳۹۵ ۰۱:۰۳ ق.ظ)IranianWizard نوشته شده توسط:  آیا این زبان خیلی شبیه زبان های غیر قطعی هستش

ببخشید این ارسالتون رو تازه دیدم. بیشتر اوقات اگه اشتراک یا اجتماع به این شکل داشته باشیم به زبان غیرقطعی میرسیم. ولی تو این حالت چون یک زبان (منهای چند رشته انگشت شمارش) زیرمجموعه زبان دومه، باز هم قطعیت وجود داره.