ممنونم خیلی کمک خوبی بود.

(۲۵ آذر ۱۳۹۲ ۱۲:۲۳ ق.ظ)ماهسان لیما نوشته شده توسط:  ممنونم خیلی کمک خوبی بود.

امیدوارم اشتباهی که من داشتم را فهمیده باشید.
من روال تقسیم را خوب بلد بودم ولی این یه قسمت را اشتباه میکردم که مثلا در تقسیم یه رشته به a اگه آخر اون رشته a نداشته باشه به تهی میرسه در صورتی که من به اشتباه همون رشته را به عنوان نتیجه حساب میکردم.

[/quote]
امیدوارم اشتباهی که من داشتم را فهمیده باشید.
من روال تقسیم را خوب بلد بودم ولی این یه قسمت را اشتباه میکردم که مثلا در تقسیم یه رشته به a اگه آخر اون رشته a نداشته باشه به تهی میرسه در صورتی که من به اشتباه همون رشته را به عنوان نتیجه حساب میکردم.
[/quote]
اگه نداشته باشه در نظر گرفته نمیشه درسته؟
مثلا L1=abb L2=a
L1/L2=lambda
بیشتر سوالاتم مال وقتی هست که یا b توان یا پلاس استار دارن.
مثلا اگه:
{ L2={a^n b^m:n≥۱,m>0}∪{bb

L1={b^m:m>=1

L1/L2?

(۲۵ آذر ۱۳۹۲ ۰۱:۰۵ ق.ظ)ماهسان لیما نوشته شده توسط:  اگه نداشته باشه در نظر گرفته نمیشه درسته؟
مثلا L1=abb L2=a
L1/L2=lambda

اینجا جواب تهی میشه نه لاندا
وقتی لاندا میشه که هیچین تقسیمی باشه
abb / abb = lambda یا مثلا a/a = lambda

(۲۵ آذر ۱۳۹۲ ۰۱:۰۵ ق.ظ)ماهسان لیما نوشته شده توسط:  بیشتر سوالاتم مال وقتی هست که یا b توان یا پلاس استار دارن.
مثلا اگه:
L1={b^m:m>=1
{ L2={a^n b^m:n≥۱,m>0}∪{bb
L1/L2?

فرمول نویسی نمیدونم چرا خوب کار نمیکنه. سعی میکنم همینجوری بنویسم و امیدوارم واضح باشه
زبان L1 شامل رشته های b هست که حداقل یک b را داشته باشند
و رشته های زبان L2 شامل رشته های a*b* | a>=1 , b>=1 هستند. یعنی رشته های ab , abb , abbb ,aab و غیره به علاوه رشته bb
در زبان اول ما کلا رشته حاوی a نداریم. پس تقسیم L1 / L2 که زبان L2 حاوی رشته های دارای a باشند تهی میده.
b* / ab , abb , abbb ,aab = O چون *b رشته ای حاوی a نداره که بخواد تقسیم بشه
اما حالا تقسیم L1 بر قسمت دوم زبان L2 یعنی bb
باید یکی یکی تقسیم کرد تا ببینیم جواب چی میشه
b / bb = O
bb / bb = lambda
bbb / bb = b
bbbb / bb = bb
bbbbb / bb = bbb
و ادامه
یعنی جواب میشه مجموعه b^n که n این بار از ۰ شروع میشه به علت اینکه در تقسیم bb/bb عبارت lambda تولید شده

برای مثال تقسیم L2 / L1 را خودتون انجام بدید جواب باید بشه
{ L2={a^n b^m:n≥۱,m≥۰}∪{Lambda,b

متوجه شدم،،،،
فقط ""رشته های زبان L2 شامل رشته های a*b* | a>=1 , b>=1 هستند"" پلاس میشه.البته اونم گفتید فرمول نویسی کار نمیکنه.برای بقیه گفتم.
متشکرم.
برای تشخص منظم بودن زبان هم را حل ساده ای هست؟؟؟؟

(۲۵ آذر ۱۳۹۲ ۰۷:۰۱ ب.ظ)ماهسان لیما نوشته شده توسط:  متوجه شدم،،،،
برای تشخص منظم بودن زبان هم را حل ساده ای هست؟؟؟؟

خب خدا رو شکر. چون من ترس داشتم با این متنی که نوشتم متوجه نشید جریان چی شده.
در مورد تشخیص منظم بودن اصلا راه ساده ای وجود نداره ، من خودم چند ماه پیش شدیدا مشکل داشتم و همیشه جوابهایی مثل پیدا کردن NFA یا لم تزریق بهم میدادن. جوابهایی که به درد جلسه کنکور نمیخوره و ذهن منم به این چیزا قد نمیداد.
اما چند ماه پیش در همین قسمت نظریه ۵ تا سوال پشت سرهم پرسیدم که مربوط به منظم و نامنظم بودن ۵ تا زبان هست.
یه کم طولانیه ولی بسیار بسیار تحلیلی جواب دادند. من خودم بعد از این ۵ سوال تا حالا مشکلی با تشخیص زبان منظم نداشتم به جز یکی دوبار . اگر اونها را بخونید واقعا تحلیلتون نسبت به چگونگی اثبات منظم بودن زبان بالا میره.

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


سعی کنید همه این لینکها را بخونید. چون توی هر کدومش یک و چندتا نکته خیلی قشنگ در مورد اثبات زبانهای منظم هست.
من که واقعا از این تحلیل هایی که دوستان اونجا برام نوشتند لذت بردم مخصوصا کاربری azk84 که خیلی برای این سوالات وقت گذاشتند