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

تعیین نوع زبان( مستقل از متن یا منظم) ازمون های آزمایشی

ارسال:
  

AZ_AMIR پرسیده:

تعیین نوع زبان( مستقل از متن یا منظم) ازمون های آزمایشی

دوستان کسی جواب این تست رو میتونه تشریحی توضیح بده؟ بنظرم من گزینه ۴ هست ولی تو پاسخ نامه فقط نوشته گزینه ۳ و توضیح نداده.


فایل‌(های) پیوست شده

نقل قول این ارسال در یک پاسخ

۲
ارسال:
  

msour44 پاسخ داده:

RE: تعیین نوع زبان( مستقل از متن یا منظم) ازمون های آزمایشی

سلام
اول منظم بودن [tex]L_2[/tex] را اثبات می کنیم!!!
[tex]L_2=\{a^nb^m\: \mid\: m\ne n\: or\: m\ne2n\}=\{a^{\ast}b^{\ast}\}-\{a^nb^m|\: m=n\: and\: m=2n\}=\{a^{\ast}b^{\ast}\}-\{\lambda\}[/tex]
باید توجه کرد که چون محدوده مقادیر برای n ,m داده نشده انها را [tex]n,m\ge0[/tex] میگیرم همچنین شرط [tex]m\ne n\: or\: m\ne2n[/tex] مکملش برابر با [tex]m=n\: and\: m=2n[/tex] که فقط رشته تهی در این شرط صدق می کند توجه شود که زبان مرجع ما در اینجا [tex]a^{\ast}b^{\ast}[/tex] است پس [tex]L_2[/tex] منظم است پس گزینه ۲ رد می شود ولی گزینه ۴ را نمی توان رد کرد چون اگر زبانی منظم باشد مستقل از متن هم هست پس می توانیم بگیم که زبان دوم مستقل از متن هم می باشد.
برای اثبات مستقل از متن بودن [tex]L_1[/tex] : اگر فرض کنیم منظم است (در نتیجه مستقل از متن هم می شود) چون زبان دوم منظم است پس گزینه ۱ درست و گزینه ۳ هم درست(منظم بودن باعث مستقل از متن بودن هم ) می شود.پس اگر فرض کنیم تست درست تعریف شده باشد(عمرا) پس زبان اول منظم نیست.برای اثبات مستقل از متن بودن دارم:
[tex]L_1=\{a^nb^m|m\ne n\: and\: m\ne2n\}=\{a^{\ast}b^{\ast}\}-\{a^nb^m|m=n\: or\: m=2n\}=\{a^nb^m|\: n>m\: or\: n<m\: or\: m>2n\: or\: m<2n\}[/tex]
در واقع اجتماع ۴ زبان مستقل از متن است و طبق بسته بودن زبان های مستقل از متن تحت اجتماع پس زبان اول مستقل از متن می باشد رد گزینه ۴ و جواب گزینه ۳
نقل قول این ارسال در یک پاسخ

ارسال:
  

AZ_AMIR پاسخ داده:

RE: تعیین نوع زبان( مستقل از متن یا منظم) ازمون های آزمایشی

(۰۲ اردیبهشت ۱۳۹۶ ۰۹:۰۰ ب.ظ)msour44 نوشته شده توسط:  سلام
اول منظم بودن [tex]L_2[/tex] را اثبات می کنیم!!!
[tex]L_2=\{a^nb^m\: \mid\: m\ne n\: or\: m\ne2n\}=\{a^{\ast}b^{\ast}\}-\{a^nb^m|\: m=n\: and\: m=2n\}=\{a^{\ast}b^{\ast}\}-\{\lambda\}[/tex]
باید توجه کرد که چون محدوده مقادیر برای n ,m داده نشده انها را [tex]n,m\ge0[/tex] میگیرم همچنین شرط [tex]m\ne n\: or\: m\ne2n[/tex] مکملش برابر با [tex]m=n\: and\: m=2n[/tex] که فقط رشته تهی در این شرط صدق می کند توجه شود که زبان مرجع ما در اینجا [tex]a^{\ast}b^{\ast}[/tex] است پس [tex]L_2[/tex] منظم است پس گزینه ۲ رد می شود ولی گزینه ۴ را نمی توان رد کرد چون اگر زبانی منظم باشد مستقل از متن هم هست پس می توانیم بگیم که زبان دوم مستقل از متن هم می باشد.
برای اثبات مستقل از متن بودن [tex]L_1[/tex] : اگر فرض کنیم منظم است (در نتیجه مستقل از متن هم می شود) چون زبان دوم منظم است پس گزینه ۱ درست و گزینه ۳ هم درست(منظم بودن باعث مستقل از متن بودن هم ) می شود.پس اگر فرض کنیم تست درست تعریف شده باشد(عمرا) پس زبان اول منظم نیست.برای اثبات مستقل از متن بودن دارم:
[tex]L_1=\{a^nb^m|m\ne n\: and\: m\ne2n\}=\{a^{\ast}b^{\ast}\}-\{a^nb^m|m=n\: or\: m=2n\}=\{a^nb^m|\: n>m\: or\: n<m\: or\: m>2n\: or\: m<2n\}[/tex]
در واقع اجتماع ۴ زبان مستقل از متن است و طبق بسته بودن زبان های مستقل از متن تحت اجتماع پس زبان اول مستقل از متن می باشد رد گزینه ۴ و جواب گزینه ۳

واقعا خسته نباشید. پاسخی دقیق و کامل.خیلی خوب بود.ایشالله موفق باشید.
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۳۸۴ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  کارنامه نهایی ازمون دکتری داخل سال ۱۳۹۲-گرایش معماری کامپیوتر انرژی مثبت ۱ ۴,۰۹۲ ۱۷ بهمن ۱۳۹۹ ۰۲:۲۸ ق.ظ
آخرین ارسال: hmaryam567
  کارنامه نهایی ازمون دکتری داخل سال ۱۳۹۲-گرایش نرم افزار انرژی مثبت ۶ ۹,۳۰۰ ۱۷ بهمن ۱۳۹۹ ۰۲:۲۷ ق.ظ
آخرین ارسال: hmaryam567
  بحث در مورد نتایج اولیه ازمون دکتری ۹۲ mkiani ۳۷ ۲۹,۷۴۹ ۱۷ بهمن ۱۳۹۹ ۰۲:۱۹ ق.ظ
آخرین ارسال: hmaryam567
  گرامر زبان انگلیسی:صفت های ed و ing دار cyruskingsolomon ۳ ۲,۵۸۹ ۱۵ بهمن ۱۳۹۹ ۰۶:۴۱ ب.ظ
آخرین ارسال: cyruskingsolomon
  آزمون آزمایشی ارشد کدام موسسه را شرکت کنیم Ali1991khe ۲ ۳,۱۰۱ ۱۴ آبان ۱۳۹۹ ۱۲:۰۹ ق.ظ
آخرین ارسال: Ali1991khe
  آزمون آزمایشی ارشد کدام موسسه را شرکت کنیم Ali1991khe ۲ ۲,۸۹۱ ۰۸ آبان ۱۳۹۹ ۱۲:۰۴ ب.ظ
آخرین ارسال: Ali1991khe
  ازمون های استخدامی فراگیر و امزش وپرورش شانی ۰ ۱,۷۲۶ ۲۸ شهریور ۱۳۹۹ ۰۲:۵۲ ب.ظ
آخرین ارسال: شانی
  متن به هم ریخته در نرم افزار Notepad HAMID3F ۱۵ ۲۰,۸۹۹ ۱۷ شهریور ۱۳۹۹ ۰۸:۲۶ ق.ظ
آخرین ارسال: rezasedghi100
  ثبت نام آزمونهای آزمایشی مدرسان شریف،کنکور کارشناسی ارشد ،اردیبهشت ۹۶ modaresan sharif ۸۴ ۵۶,۵۳۹ ۲۸ مهر ۱۳۹۸ ۰۱:۱۴ ب.ظ
آخرین ارسال: mohamadreza025

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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