سلام و درود.
ممنون میشم این دو تا سئوالم رو پاسخ بدید.
سئوال ۱:
![[تصویر: 394439_1gxr7rya7hoko9wxviuc.jpg]](https://img.manesht.ir/394439_1gxr7rya7hoko9wxviuc.jpg)
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
عکس شماره ۲
یا
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
این تساوی چطوری برقراره؟
سئوال ۲:
![[تصویر: 394439_ydaym2fdaxrpter8mb0o.jpg]](https://img.manesht.ir/394439_ydaym2fdaxrpter8mb0o.jpg)
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
عکس شماره ۱
یا
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
قسمت ج و د این سئوال رو چطور حساب کرده!!!
پیشاپیش تشکر میکنم ازتون.
(نمایش تصاویر اصلاح شد)
اول سوال دومت رو جواب میدم. چون اولی بنظرم بدیهیه. دلیلی براش ندارم فعلا..
قسمت ج سوال۲:
متمم یک زبان مثلL1 یعنی رشته هایی رو میخواهی بدست بیاوری که در این زبان نیست.
سه حالت پیش میاد برای این مورد:
۱- یا میای روی a ها بحث میکنی و تغییرات رو فقط روی a اعمال میکنی. به این ترتیب که در زبان L1 ، تعداد aها حداقل ۴ است، در زبان L متمم، باید تعدادaها حداکثر۴تا باشد.و b هر چه که میخواهد، باشد(میبینی که * برای b گذاشته) اینجوری قطعا این رشته ها جز L نخواهند بود ودر متممش خواهند بود. تا اینجا اولین عبارت منظم قسمت ج بدست آمد
۲- میتوانی فقط روی b ها بحث کنی. وهمانطور که میبینی در زبان L1 حداکثر۳ b داریم، حال در متممش باید حداقل ۴تا b داشته باشیم تابتوانیم رشته ای بدست اوریم که در متمم L باشد. در این حالت تعداد a مهم نیست. با این حساب عبارت منظم دوم قسمت ج هم بدست آمد.
توجه: در این دوحالت ترتیب قرار گرفتن ترمینال ها دقیقا مثل زبان L1 است. یعنی اول aها امده وبعد bها.
۳- اما در این حالت، ترتیب قرار گرفتن کلا بهم ریخته.یه پایه(ba) درنظر میگیریم که مطمئن شیم این رشته قطعا عضو L1 نخواهد بود.حالادیگه اول و اخر عبارت مهم نیست چی بیاد(میبینی که هم میتونهa بیاد هم b وهم ترکیبی از هردو با هرترتیبی).چون هرچه که باشه قطعا عضو زبانL1نیست. چون در زبان L1 اول a داریم وبعدb. اما در اینجا ترتیب به هم خورده. اینجوری شد که عبارت منظم سومی هم بدست اومد
برای قسمت د هم، دقیقا همین استدلال صادقه
سلام .برای سوال اول که این هستش : [tex](\lambda a)^{\ast}[/tex]
خب یعنی این که هر تعداد [tex]\alpha[/tex] رو خواستیم میتونیم کنار هم قرار بدیم و به عنوان خروجی بیاریم و همچنین چون [tex]\lambda[/tex] رو هم داریم پس این هم میتونه جزو جواب ما باشه .حالا میرسیم به قسمت های سمت راست که اولیش اینه
[tex](\lambda \alpha\alpha)^{\ast}[/tex] که اگه دقت کنی میبینی که هم [tex]\lambda[/tex] جزو خروجی هستش و هم هر تعداد که خواستیم [tex]\alpha[/tex] تولید کردیم . از طرفی هم که میدونیم [tex](\alpha\alpha)^{\ast}=\alpha^ [/tex] هستش پس اینم قسمت دوم رو بهمون میده و حالا داریم [tex]\lambda \alpha^ [/tex] یعنی که خروجی یا [tex]\lambda[/tex] هستش یا هر تعداد دلخواه [tex]\alpha[/tex] که این عبارت همون [tex]\alpha^{\ast}[/tex] هستش چون اینجا هم جواب یا [tex]\lambda[/tex] هستش یا هر تعداد مشخص [tex]\alpha[/tex]
سلام
ببخشید *(a*=(λ+a
* λ+a+= λ+aa
در عبارت بالای میتونیم هیچ a رو نبینیم
اما در عبارت پایینی ما حداقل یک a رو میبینم پس چطوری امکان داره عبارت پایینی با عبارت بالای مساوی باشه؟
(۲۰ دى ۱۳۹۴ ۱۱:۳۹ ب.ظ)Alirezaj نوشته شده توسط: سلام
ببخشید *(a*=(λ+a
* λ+a+= λ+aa
در عبارت بالای میتونیم هیچ a رو نبینیم
اما در عبارت پایینی ما حداقل یک a رو میبینم پس چطوری امکان داره عبارت پایینی با عبارت بالای مساوی باشه؟
سلام
ببینید تو عبارت منظم دوم هم لاندا داریم. + بین دوعبارت منظم حالت اجتماع ایجاد میکنه یعنی در عبارت منظم دوم یا لاندا تولید میشه یا حداقل یک a باید داشته باشیم و این درواقع یعنی همون لاندار استار