(۲۵ آذر ۱۳۹۲ ۰۱:۰۵ ق.ظ)ماهسان لیما نوشته شده توسط: اگه نداشته باشه در نظر گرفته نمیشه درسته؟
مثلا 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
،،،،
، من خودم چند ماه پیش شدیدا مشکل داشتم و همیشه جوابهایی مثل پیدا کردن NFA یا لم تزریق بهم میدادن. جوابهایی که به درد جلسه کنکور نمیخوره و ذهن منم به این چیزا قد نمیداد.