صفحه‌ها: ۱ ۲
سلام دوستان اگه لطف کنید به این دوگانگی ارزشی ما پاسخ بدین سپاسگزار خواهم بود
دو تا نکته نوشتم به این مضامین:
۱- بررسی تهی بودن یا نبودن یک گرامر مستقل از متن تصمیم پذیره
۲- برای دو گرامر مستقل از متن G1 و G2 الگوریتمی وجود ندارد که تعیین کند آیا [tex]L(G_1)\cap L(G_2)=\phi[/tex]
حالا من میگم وقتی نکته اول درست باشه و تصمیم پذیر باشه خب نکته دوم هم تصمیم پذیر میشه دیگه. اشتباه میکنم؟؟
(۲۱ بهمن ۱۳۹۲ ۰۸:۳۷ ب.ظ)hosshah نوشته شده توسط: سلام دوستان اگه لطف کنید به این دوگانگی ارزشی ما پاسخ بدین سپاسگزار خواهم بوداولی تصمیم پذیره و فکر کنم اگر حالت شروع ببعد از ساده سازی به هیچی نره تهی بودنشو نتیجه گرفت
دو تا نکته نوشتم به این مضامین:
۱- بررسی تهی بودن یا نبودن یک گرامر مستقل از متن تصمیم پذیره
۲- برای دو گرامر مستقل از متن G1 و G2 الگوریتمی وجود ندارد که تعیین کند آیا [tex]L(G_1)\cap L(G_2)=\phi[/tex]
حالا من میگم وقتی نکته اول درست باشه و تصمیم پذیر باشه خب نکته دوم هم تصمیم پذیر میشه دیگه. اشتباه میکنم؟؟
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
(۲۱ بهمن ۱۳۹۲ ۰۸:۳۷ ب.ظ)hosshah نوشته شده توسط: سلام دوستان اگه لطف کنید به این دوگانگی ارزشی ما پاسخ بدین سپاسگزار خواهم بود
دو تا نکته نوشتم به این مضامین:
۱- بررسی تهی بودن یا نبودن یک گرامر مستقل از متن تصمیم پذیره
۲- برای دو گرامر مستقل از متن G1 و G2 الگوریتمی وجود ندارد که تعیین کند آیا [tex]L(G_1)\cap L(G_2)=\phi[/tex]
حالا من میگم وقتی نکته اول درست باشه و تصمیم پذیر باشه خب نکته دوم هم تصمیم پذیر میشه دیگه. اشتباه میکنم؟؟
گزینه ۱ تصمیم پذیره ؟ فکر کنم تصمیم ناپذیره.... جفتش فکر کنم تصمیم ناپذیر باشه ها.
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۴ ب.ظ)masoud67 نوشته شده توسط: اولی تصمیم پذیره و فکر کنم اگر حالت شروع به لاندا بره میشه تهی بودنشو نتیجه گرفت
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
تشکر داداش
البته اولی در صورتی تهی میشه که نتونه چیزی تولید کنه حتی لاندا یعنی همشون قوانین گرامر از بین نرن
در مورد دومی نمیشه گفت در مورد هر کدوم از گرامر ها تصمیم تهی بودن یا نبودن رو بگیره
بعد اگه جفتشون yes داد خب اشتراکشون هم میشه دیگه
البته توضیح شما رو هم گرفتما ولی میخوام ببینم چرا اینجوری نشه؟
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۴ ب.ظ)masoud67 نوشته شده توسط: اولی تصمیم پذیره و فکر کنم اگر حالت شروع به لاندا بره میشه تهی بودنشو نتیجه گرفتاشتراک دو تا مستقل از متن در حالت کلی مگه حساس به متن نمیشه؟ و تهی بودن حساس به متن تصمیم پذیره گویا.
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۶ ب.ظ)unicornux نوشته شده توسط:(21 بهمن ۱۳۹۲ ۰۸:۳۷ ب.ظ)hosshah نوشته شده توسط: سلام دوستان اگه لطف کنید به این دوگانگی ارزشی ما پاسخ بدین سپاسگزار خواهم بود
دو تا نکته نوشتم به این مضامین:
۱- بررسی تهی بودن یا نبودن یک گرامر مستقل از متن تصمیم پذیره
۲- برای دو گرامر مستقل از متن G1 و G2 الگوریتمی وجود ندارد که تعیین کند آیا [tex]L(G_1)\cap L(G_2)=\phi[/tex]
حالا من میگم وقتی نکته اول درست باشه و تصمیم پذیر باشه خب نکته دوم هم تصمیم پذیر میشه دیگه. اشتباه میکنم؟؟
گزینه ۱ تصمیم پذیره ؟ فکر کنم تصمیم ناپذیره.... جفتش فکر کنم تصمیم ناپذیر باشه ها.
بچه ها ببینید من کجا اشتباه میکنم.
وقتی برای ۲ تا گرامر هیچ الگوریتمی نباشه که جواب بله یا خیر بده تصمیم ناپذیره! پس دومی تصمیم ناپذیره.
گزینه اول هم برای گرامرهای بدون محدودیت تصمیم ناپذیره. درسته؟
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۶ ب.ظ)unicornux نوشته شده توسط: گزینه ۱ تصمیم پذیره ؟ فکر کنم تصمیم ناپذیره.... جفتش فکر کنم تصمیم ناپذیر باشه ها.
نه داداش تصمیم پذیره گرامر مستقل از متنمون رو به S-Grammer تبدیل میکنم یا ساده ترش قاعده هایی که تموم نمیشن رو حذف میکنیم اگر دیگه قاعده ای نمونده بود میشه تهی
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۶ ب.ظ)unicornux نوشته شده توسط:چون میدونم به پوران به عنوان بهترین مرجع نظریه اعتقاد خاصی داری ، هم اکنون تفعلی به این کتاب زدم و این دو نکته را گرفتم(21 بهمن ۱۳۹۲ ۰۸:۳۷ ب.ظ)hosshah نوشته شده توسط: سلام دوستان اگه لطف کنید به این دوگانگی ارزشی ما پاسخ بدین سپاسگزار خواهم بود
دو تا نکته نوشتم به این مضامین:
۱- بررسی تهی بودن یا نبودن یک گرامر مستقل از متن تصمیم پذیره
۲- برای دو گرامر مستقل از متن G1 و G2 الگوریتمی وجود ندارد که تعیین کند آیا [tex]L(G_1)\cap L(G_2)=\phi[/tex]
حالا من میگم وقتی نکته اول درست باشه و تصمیم پذیر باشه خب نکته دوم هم تصمیم پذیر میشه دیگه. اشتباه میکنم؟؟
گزینه ۱ تصمیم پذیره ؟ فکر کنم تصمیم ناپذیره.... جفتش فکر کنم تصمیم ناپذیر باشه ها.
۱/ الگوریتمی وجود دارد که تشخیص دهد زبان مستقل از متن تهی است یا نه . واس این کار گرامر را به PDA تبدیل میکنیم اگر از حالت شروع به حالت پذیرش مسیری نبود، زبان آن تهی است
۲/ بررسی اینکه اشتراک یک مستقل از متن و یک منظم تهی است یا خیر، تصمیم پذیره که البته ربطی به سوال ۲ نداشت
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۰ ب.ظ)e.shrm نوشته شده توسط:اشتراکشون فکر کنم بازگشتی بشه ، نه حساس.(21 بهمن ۱۳۹۲ ۰۸:۴۴ ب.ظ)masoud67 نوشته شده توسط: اولی تصمیم پذیره و فکر کنم اگر حالت شروع به لاندا بره میشه تهی بودنشو نتیجه گرفتاشتراک دو تا مستقل از متن در حالت کلی مگه حساس به متن نمیشه؟ و تهی بودن حساس به متن تصمیم پذیره گویا.
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
ولی مکمل مستقل را مطمئن هستم بازگشتی میشه
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۰ ب.ظ)e.shrm نوشته شده توسط: اشتراک دو تا مستقل از متن در حالت کلی مگه حساس به متن نمیشه؟ و تهی بودن حساس به متن تصمیم پذیره گویا.
چجوری تصمیم پذیره؟
(۲۱ بهمن ۱۳۹۲ ۰۸:۴۸ ب.ظ)hosshah نوشته شده توسط:داری کلک میزنی.(21 بهمن ۱۳۹۲ ۰۸:۴۴ ب.ظ)masoud67 نوشته شده توسط: اولی تصمیم پذیره و فکر کنم اگر حالت شروع به لاندا بره میشه تهی بودنشو نتیجه گرفت
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
تشکر داداش
البته اولی در صورتی تهی میشه که نتونه چیزی تولید کنه حتی لاندا یعنی همشون قوانین گرامر از بین نرن
در مورد دومی نمیشه گفت در مورد هر کدوم از گرامر ها تصمیم تهی بودن یا نبودن رو بگیره
بعد اگه جفتشون yes داد خب اشتراکشون هم میشه دیگه
البته توضیح شما رو هم گرفتما ولی میخوام ببینم چرا اینجوری نشه؟
فکر نکنم اینجوری بشه. ممکنه ، اولی باشه ab و دومی بشه ba حالا هیچکدوم تهی نمیدن ولی اشتراکشون چی میشه ؟
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۰ ب.ظ)unicornux نوشته شده توسط: بچه ها ببینید من کجا اشتباه میکنم.
وقتی برای ۲ تا گرامر هیچ الگوریتمی نباشه که جواب بله یا خیر بده تصمیم ناپذیره! پس دومی تصمیم ناپذیره.
گزینه اول هم برای گرامرهای بدون محدودیت تصمیم ناپذیره. درسته؟
خب برای جمله اولت من یه الگوریتم زیر پست مسعود گفتم حالا نمیدونم درسته یا نه و البته فهموند که اشتباهه
جمله دومتم درسته تهی بودن یانبودن یه گرامر بدون محدودیت تصمیم ناپذیره
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۰ ب.ظ)e.shrm نوشته شده توسط: اشتراک دو تا مستقل از متن در حالت کلی مگه حساس به متن نمیشه؟ و تهی بودن حساس به متن تصمیم پذیره گویا.به نیت از شما هم یه تفعلی به نظریه پوران زدم که نوشته اگر LBA داشته باشیم و تهی بودن را بخواهیم بررسی کنیم، تصمیم ناپذیره.
واسه حساس عضویت تصمیم پذیر بود و یه چیز دیگه که بدجور ذهنمو مشغول کرده
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۲ ب.ظ)masoud67 نوشته شده توسط:نمیدونم چرا تو ذهنم این بود که اشتراکشون حساس به متنه. ممنون(21 بهمن ۱۳۹۲ ۰۸:۵۰ ب.ظ)e.shrm نوشته شده توسط:اشتراکشون فکر کنم بازگشتی بشه ، نه حساس.(21 بهمن ۱۳۹۲ ۰۸:۴۴ ب.ظ)masoud67 نوشته شده توسط: اولی تصمیم پذیره و فکر کنم اگر حالت شروع به لاندا بره میشه تهی بودنشو نتیجه گرفتاشتراک دو تا مستقل از متن در حالت کلی مگه حساس به متن نمیشه؟ و تهی بودن حساس به متن تصمیم پذیره گویا.
اما در مورد دومی اشتراک دو تا گرامر را خواسته ، که اشتراک دوتا مستقل معلوم نبود مستقل بشه ، واسه همین این موضوع تصمیم پذیر نخواهد بود.
ولی اگه به جای اشتراک ، اجتماع باشه، میشه تصمیم گرفت
ولی مکمل مستقل را مطمئن هستم بازگشتی میشه
(۲۱ بهمن ۱۳۹۲ ۰۸:۵۵ ب.ظ)masoud67 نوشته شده توسط: داری کلک میزنی.
فکر نکنم اینجوری بشه. ممکنه ، اولی باشه ab و دومی بشه ba حالا هیچکدوم تهی نمیدن ولی اشتراکشون چی میشه ؟
با این مثال فقط میتونم عذر خواهی کنم
دمت گرم آقا
به صورت نامحصوص تو تاپیک گروه درسی ۹۳ هستی و مفید فایده واقع میشی
تشکر
دوستان من سوالم همچنان پابرجاست!
زبان هاس مستقل از متن ، حساس به متن هم هستند. و زبان های حساس به متن تحت اشتراک بسته اند.
بنابراین اشتراک دو تا مستقل از متن در حالت کلی حساس به متن میشه.
فقط چیزی که این وسط وجود داره اینه که پوران اشتباه زده که بررسی تهی بودن حساس به متن تصمیم پذیره. قاعدتا باید تصمیم ناپذیر باشه.
درسته؟