۰
subtitle
ارسال: #۱
help me 3:منظم
لطفا در مورد صحت یا عدم صحت گزینه ۲ نطر دهید؟
۰
ارسال: #۲
RE: help me 3:منظم
(۲۴ دى ۱۳۹۰ ۱۱:۳۱ ب.ظ)silver نوشته شده توسط: لطفا در مورد صحت یا عدم صحت گزینه ۲ نطر دهید؟
به نظر من گزینه‌ی ۲ درسته.
L1/L2 یک عبارت تقسیم راست در نظریه هست و مفهومش هم اینه که اگه یک رشته مثل xy در زبان L1 داشته باشی و یک رشته مثل y هم در زبان L2 اونموقع رشته‌ی x عضو زبان L1/L2 میشه.
حالا اینجا گفته که رشته‌ی تهی هم جزء زبان L2 هست پس اگه رشته‌ی xy رو بر لاندا تقسم راست کنیم خود رشته بدست میاد و تغییری نمیکنه.
پس هم تمام رشته های L1 جزء L1/L2 میشه و هم رشته هایی شبیه به x که اول گفتم چه جوری بدست میاد.
و نتیجه اینکه زبان L1 زیر مجموعه‌ی L1/L2 یشه
ارسال: #۳
RE: help me 3:منظم
(۲۵ دى ۱۳۹۰ ۱۲:۳۱ ق.ظ)homa نوشته شده توسط:(24 دى ۱۳۹۰ ۱۱:۳۱ ب.ظ)silver نوشته شده توسط: لطفا در مورد صحت یا عدم صحت گزینه ۲ نطر دهید؟
به نظر من گزینه‌ی ۲ درسته.
L1/L2 یک عبارت تقسیم راست در نظریه هست و مفهومش هم اینه که اگه یک رشته مثل xy در زبان L1 داشته باشی و یک رشته مثل y هم در زبان L2 اونموقع رشته‌ی x عضو زبان L1/L2 میشه.
حالا اینجا گفته که رشته‌ی تهی هم جزء زبان L2 هست پس اگه رشته‌ی xy رو بر لاندا تقسم راست کنیم خود رشته بدست میاد و تغییری نمیکنه.
پس هم تمام رشته های L1 جزء L1/L2 میشه و هم رشته هایی شبیه به x که اول گفتم چه جوری بدست میاد.
و نتیجه اینکه زبان L1 زیر مجموعه‌ی L1/L2 یشه
منم با جوابتون موافقم،
فقط در مورد تقسیم راست زیاد نخودنم، توی یه کتابی نوشته نسبت راست یک رشته به با یک مجموعه و تعریفش هم اینطوریه: [tex]x\setminus A = \left \{ u~|~xu~ \epsilon ~A \right \}[/tex]، این همونیه که شما گفتید؟ آخه xی که شما نوشتید انتخاب میشه، سمت چپ رشته اول هست، نه سمت راستش، درست میگم یا فرقی نمیکنه؟
۰
ارسال: #۴
help me 3:منظم
ولی به نظر من گزینه ۲ غلطه چون اگر y از xy حذف بکنیم اونوقت xy دیگه زیر مجموعه x نمیشه
فکر نمیکنم ابسیلون تهی باشه چون از تهی بطور مجزا در گزینه ۳ استفاده شده پس وقتی L2 (حالا هر مقداری که میخواد باشه) از L1 برداریم دیگه L1 زیر مجموعه حاصل نباشه
نظرتون در مورد گزینه اول چیه؟ بنظر درست میاد
فکر نمیکنم ابسیلون تهی باشه چون از تهی بطور مجزا در گزینه ۳ استفاده شده پس وقتی L2 (حالا هر مقداری که میخواد باشه) از L1 برداریم دیگه L1 زیر مجموعه حاصل نباشه
نظرتون در مورد گزینه اول چیه؟ بنظر درست میاد
ارسال: #۵
RE: help me 3:منظم
(۲۵ دى ۱۳۹۰ ۰۱:۱۶ ق.ظ)narges_r نوشته شده توسط: ولی به نظر من گزینه ۲ غلطه چون اگر y از xy حذف بکنیم اونوقت xy دیگه زیر مجموعه x نمیشهمنظور من رشته‌ی تهی هست نه مجموعه تهی: [tex]\varepsilon \neq \varnothing[/tex]
فکر نمیکنم ابسیلون تهی باشه چون از تهی بطور مجزا در گزینه ۳ استفاده شده پس وقتی L2 (حالا هر مقداری که میخواد باشه) از L1 برداریم دیگه L1 زیر مجموعه حاصل نباشه
نظرتون در مورد گزینه اول چیه؟ بنظر درست میاد
در گزینه‌ی دو از [tex]\varepsilon[/tex] به جای [tex]\lambda[/tex] استفاده کرده یعنی یک رشته‌ی تهی
تو بعضی تستای دیگه هم استفاده از اون رو به جای لاندا دیدم.
[tex]\varepsilon =\lambda[/tex]
(۲۵ دى ۱۳۹۰ ۰۱:۱۲ ق.ظ)Ali-B نوشته شده توسط: درسته،،، فکر کنم کتابی که گفتم اشتباه توضیح داده، شما از چه کتابی این مطلب خوندید؟ من تو کتاب لینز ترجمه سلیمی-پور محقق چیزی ندیدم.
اون چیزی که تو کتاب لینز نوشته اینجوریه:
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close