در مورد اولی:
در واقع رشته هایی که زبان سمت چپ اجتماع (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد و تعداد a و b مساوی باشند) تولید میکنه زیرمجموعه ای از رشته هایی است که زبان سمت راست (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد) تولید میکنه هستند! و زبان سمت راستی [tex]a^{ }b^{ }[/tex] هست.

در مورد دومی:
m کجاشه؟

(۲۶ دى ۱۳۸۹ ۰۹:۵۴ ب.ظ)۵۴m4n3h نوشته شده توسط:  در مورد اولی:
در واقع رشته هایی که زبان سمت چپ اجتماع (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد و تعداد a و b مساوی باشند) تولید میکنه زیرمجموعه ای از رشته هایی است که زبان سمت راست (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد) تولید میکنه هستند! و زبان سمت راستی [tex]a^{ }b^{ }[/tex] هست.

با این اوصاف نمیشه گفت منظمه درسته؟؟


در مورد دومی:
m کجاشه؟

اصلاح شد برادر. نظرتو بگو

(۲۶ دى ۱۳۸۹ ۰۹:۵۴ ب.ظ)۵۴m4n3h نوشته شده توسط:  در مورد اولی:
در واقع رشته هایی که زبان سمت چپ اجتماع (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد و تعداد a و b مساوی باشند) تولید میکنه زیرمجموعه ای از رشته هایی است که زبان سمت راست (اول یه سری a بعد یه سری b به طوری که از هر حرف حداقل یکی موجود باشد) تولید میکنه هستند! و زبان سمت راستی [tex]a^{ }b^{ }[/tex] هست.

در مورد دومی:
m کجاشه؟

نظر دوستمون در رابطه با زبان اول کاملا درسته اجتماع این دو زبان محدودیت مساوی بودن تعداد a‌ها با b‌ها رو از بین میبره و این زبان منظمه و تو زبان دو م هم تعداد محدودی b اضافه شده که قابل رسم با dfa که باید متناهی باشه هست

دومی فکر کنم فقط رشته a*bb رو تولید نمیکنه. البته aabb رو تولید میکنه.

تو زبان دومی میشه گفت یه DFA هست که زبان اول رو می پذیره و با دوتا b به حالت پایانی میره و در نتیجه منظمه

زبان اول چی؟

در مورد دومی:
زبان a^n b^ m+2 در صورتی با a^n b^ n مساوی می شه که n=m+2 باشه. و چون m>=1 بنابراین
n>=3 میشه.یعنی a^n b^ m+2 به ازای n>=3 تمام رشته های زبان a^n b^ n رو تولید می کنه.یعنی پس فقط n=1 , n=2 تولید نمی کنه.پس حاصل اجتماع این دو زبان هست:
a^n b^ m+2 n>=1 m>=1 } + ab+a^2 b^2 }
که همون طور که دوستان هم گفتن ،منظم هست!
اگه مشکلی داره ،لطفا راهنماییم کنین!