(۳۰ دى ۱۳۹۳ ۰۳:۱۹ ق.ظ)moloodi نوشته شده توسط: (30 دى ۱۳۹۳ ۰۲:۳۶ ق.ظ)ریحان نوشته شده توسط: وای چه سخته سوالش...هول کردم...منم نمیفهمم
به نظر من کاملا حق دارید سطح سوال از حد این آزمون های بدرد نخوره پارسه که ما می دیم بالاتره.
واسه تشخیص مستقل از متن بودن کافیه چک کنید که توان ها به فرم پرانتزی هستند یا نه و این که یه توان دو تا مقایسه نداشته باشه
مثلا زبان
anbmanbm اگه n رو پرانتز و m رو آکولاد فرض کنیم فرم زبانش این شکلیه {(}) که به فرم پرانتزی صحیح نیست
امام مثلا زبان اولی که تو عکس این تاپیک گذاشتن چون q,s فقط یه بار ظاهر شدن که مقایسه نمیشن و فقط p هست که مقایسه می شه و با در نظر گرفتن P به عنوان پرانتز زبانش می شه () که فرم صحیحه همه ی زبان های این عکس تاپیک به فرم صحیح پرانتزی هستن
یا مثلا تو بعضی زبان ها باید چک کنیم که هر عدد فقط یه بار مقایسه بشه مثلا زبان
anbmanbmn چون عدد n یه بار یا a های بخش دوم مقایسه شده یه بار با b های بخش دوم پس مستقل از متن نیست اما تمام زبان هایی که تو عکس این تاپیک گذاشتن همه ی اعداد فقط یه مقایسه می شن
پس نتیجه می گیریم همشون مستقل از متن هستند
اما برای تشخخیص قطعی بودن
باید هر بار چک کنید که p یا q یا s یا r اگه صفر بشن چی می شه
آیا ما از قطعیت در میایم یا نه
که دوستمون کامل توضیح دادن