زمان کنونی: ۱۰ فروردین ۱۴۰۳, ۰۱:۱۹ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

ارسال:
  

MiladCr7 پرسیده:

علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

سلام.بچه ها میشه جواب این سوالو توضیح بدید!!دلایل رد گزینه ها و اثبات گزینه درست!!!
ممنون
[تصویر:  325548_76z2e4rs98gslskf6nar.jpg]

۶
ارسال:
  

fatemeh69 پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

پیشنهاد می کنم قبل از خواندن این جواب ، این تاپیک رو مطالعه کنید.

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

وقتی می گه [tex]L_1=L_2\cup L_3L_1[/tex] مثل این می مونه که بگه:
[tex]L_1->L_2|L_3L_1[/tex]
حالا اگه این گرامرو یه کم پیش ببریم می رسیم به این:
[tex]L_1->L_3L_1->L_3L_3L_1->L_3L_3L_3L_1->...->L_3^{\ast}L_1->L_3^{\ast}L_2[/tex]
پس واضحه که [tex]L_3^{\ast}L_2[/tex] تو این معادله صدق می کنه و گزینه های دیگه غلط هستند
اما اگه فرم این سوال مثل همون سوال علوم ۸۷ بود و دوتا گزینه داشت که یکی می گفت این تتنها جواب معادله است و یه گزینه دیگه می گفت به ازای هر c متناهی یه جواب به فرم [tex]L_3^{\ast}(L_2\cup C)[/tex] داره اونوقت باید کدوم گزینه رو بزنیم
به عبارت دیگر آیا این تنها جواب مسئله است ؟
پس اگر فرض کنیم:
[tex]L_1=L_3^{\ast}(L_2\cup C)[/tex]
واضحه که اگه از [tex]L_3^{\ast}[/tex] رشته لاندا رو در نظر بگیریم [tex]L_2\subseteq L_1[/tex]
اما چون [tex]\lambda\notin L_3[/tex] پس [tex]L_3^ \subseteq L_3^{\ast}[/tex]
پس:
[tex]L_3L_1=L_3L_3^{\ast}(L_2\cup C)=L_3^ (L_2\cup C)\subseteq L_1[/tex] (دقت کنید که آخرین علامت مساوی نیست)
پس:
[tex]L_3L_1\subseteq L_1[/tex] و [tex]L_2\subseteq L_1[/tex]
پس:
[tex]L_2UL_3L_1\subseteq L_1[/tex]
پس L1 نمی تواند به فرم [tex]L_3^{\ast}(L_2\cup C)[/tex] (که C هر زبان متناهی است) باشد
پس [tex]L_1=L_3^{\ast}L_2[/tex] تنها جواب این معادله است

دقت کنید که تفاوت این مسئله و با اون
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
یکی در اینه که اون زبانی که داره تکرار می شه و استار می گیره (منظوم B یا L3 اس) در اون جا در سمت راست بود این جا در سمت چپ است
و نکته ی مهم تر این که در اون جا لاندا عضو B بود پس معادله چندین جواب داشت اما در این جا لاندا عضو L3 نیست پس معادله تنها یک جواب داره

۱
ارسال:
  

Hamid_0311 پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

اینطوری من توضیح میدهم شاید راحتتر باشه البته پاسخ ایشون کاملا درسته
توی سوال گفته چی
[tex]L1 =\: L2\: \cup\: L3L1[/tex]

خوب وقتی الحاق L3 با L1 اجتماعش با L2 برابر L1 شده پس یعنی L3 , L2 هر دوشون زیر مجموعه L1 هستن دیگه
([tex]if\: a\subseteq\: b\: \: \longleftrightarrow\: a\: \cup\: b\: =\: b[/tex])
طبق این قضیه ریاضی که همه قبولش داریم
خوب پس داریم
[tex]L3L1\: \subseteq\: L1\: \: And\: \: \: L2\: \subseteq\: L1[/tex]

خوب وقتی الحاق L3 در L1 تاثیری نداشته چه یک بار چه هزار بار با L1 الحاق بشه تاثیری نداره خوب میشه نتیجه گرفته
[tex]L3^{\ast}L1\: \subseteq\: L1\: [/tex]
[tex]L2\: \subseteq\: L1\: [/tex]

حالا میشه نتیجه گرفت
L1 = L3*L2
Big Grin

۰
ارسال:
  

Imankhani پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

(۱۷ دى ۱۳۹۳ ۰۷:۰۳ ب.ظ)miladcr7 نوشته شده توسط:  سلام.بچه ها میشه جواب این سوالو توضیح بدید!!دلایل رد گزینه ها و اثبات گزینه درست!!!
ممنون
[تصویر:  325548_76z2e4rs98gslskf6nar.jpg]

گزینه ۳ میشه؟ درسته؟

۰
ارسال:
  

MiladCr7 پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

اره گزینه ۳ درسته

ارسال:
  

Imankhani پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

(۱۷ دى ۱۳۹۳ ۰۸:۳۳ ب.ظ)miladcr7 نوشته شده توسط:  اره گزینه ۳ درسته
سلام یادم رفت بکنم
سلام
ببین برای اینکه یکم با اطمینان جواب بدیم میشه یه مثال نقض ساده بزنیم که گزینه ۲ و۴ میپره.
مثال نقض:
[tex]L1\: =\: \phi\: ,\: L2=\: \phi\: ,\: L3=\{a\}[/tex]

اما برای اثباتش:

[tex]L1\: =\: L2\: \cup\: L3L1 --> L3L1\subseteq\: L1,\: L2\subseteq L1 --> L3L3L1\subseteq L1\: ,\: L2\subseteq L1\: ...L1=L3^{\ast}L2[/tex]
یافتن تمامی ارسال‌های این کاربر

۰
ارسال:
  

MiladCr7 پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

ببخشید
[tex]L_1=L_2\cup L_3[/tex] از کجا اومد؟؟

ارسال:
  

Imankhani پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

(۱۷ دى ۱۳۹۳ ۰۹:۲۵ ب.ظ)miladcr7 نوشته شده توسط:  ببخشید
[tex]L_1=L_2\cup L_3[/tex] از کجا اومد؟؟

میبخشید سوتی بود همون صورت سوال منظورم بود.Big Grin
یافتن تمامی ارسال‌های این کاربر

ارسال:
  

MiladCr7 پاسخ داده:

RE: علوم کامپیوتر ۹۲-اجتماع و استار دو زبان

(۱۷ دى ۱۳۹۳ ۰۹:۳۱ ب.ظ)Imankhani نوشته شده توسط:  
(17 دى ۱۳۹۳ ۰۹:۲۵ ب.ظ)miladcr7 نوشته شده توسط:  ببخشید
[tex]L_1=L_2\cup L_3[/tex] از کجا اومد؟؟

میبخشید سوتی بود همون صورت سوال منظورم بود.Big Grin
میشه لطف کنید فرمولش رو درست کنید این حزوف اضافه اذیت میکنهSmileSmile
یافتن تمامی ارسال‌های این کاربر



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  گرایش های علوم کامپیوتر alisaaa ۴ ۳,۶۵۱ ۱۳ آذر ۱۴۰۲ ۰۴:۲۷ ب.ظ
آخرین ارسال: hashemhamidi
  علوم کامپیوتر شریف یا نرم افزار تهران؟ ۴L1R3Z4 ۴۴ ۲۷,۹۷۳ ۰۶ شهریور ۱۴۰۲ ۰۸:۱۲ ب.ظ
آخرین ارسال: moeinbahari
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۴۳۶ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  رتبه ۵۴ علوم کامپیوتر و ۷۶ ریاضی ارشد ۱۴۰۰ Computer92 ۰ ۱,۹۹۴ ۰۸ شهریور ۱۴۰۰ ۰۹:۴۶ ب.ظ
آخرین ارسال: Computer92
  سوال ۸ دکتری علوم کامپیوتر سال ۹۴ ss311 ۲ ۳,۰۹۴ ۲۶ اردیبهشت ۱۳۹۹ ۱۲:۳۷ ب.ظ
آخرین ارسال: ss311
  سوال ۱۴ علوم کامپیوتر ۹۶ ss311 ۴ ۳,۳۴۵ ۲۶ اردیبهشت ۱۳۹۹ ۱۲:۳۳ ب.ظ
آخرین ارسال: ss311
  جایگشت( ارشد علوم کامپیوتر ۹۸ ) ss311 ۰ ۱,۶۹۵ ۰۳ اسفند ۱۳۹۸ ۱۲:۴۵ ب.ظ
آخرین ارسال: ss311
  رنگ کردن رئوس گراف( ارشد علوم کامپیوتر ۹۸ ) ss311 ۰ ۱,۸۸۸ ۰۳ اسفند ۱۳۹۸ ۱۲:۴۳ ب.ظ
آخرین ارسال: ss311
  سوال ۳ دکتری علوم کامپیوتر ۹۷ ss311 ۲ ۲,۵۹۴ ۰۶ بهمن ۱۳۹۸ ۰۴:۴۵ ب.ظ
آخرین ارسال: ss311
  تغییر رشته از ریاضی به علوم کامپیوتر در ارشد Fghs ۳ ۴,۸۲۷ ۲۱ دى ۱۳۹۸ ۰۵:۱۱ ب.ظ
آخرین ارسال: parisa1140

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close