صفحه‌ها: ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰ ۱۱ ۱۲ ۱۳ ۱۴ ۱۵ ۱۶ ۱۷ ۱۸ ۱۹ ۲۰ ۲۱ ۲۲ ۲۳ ۲۴ ۲۵ ۲۶ ۲۷ ۲۸ ۲۹ ۳۰ ۳۱ ۳۲ ۳۳ ۳۴ ۳۵ ۳۶ ۳۷ ۳۸ ۳۹ ۴۰ ۴۱ ۴۲ ۴۳ ۴۴ ۴۵ ۴۶ ۴۷ ۴۸ ۴۹ ۵۰ ۵۱ ۵۲ ۵۳ ۵۴ ۵۵ ۵۶ ۵۷ ۵۸ ۵۹ ۶۰ ۶۱ ۶۲ ۶۳ ۶۴ ۶۵ ۶۶ ۶۷ ۶۸ ۶۹ ۷۰ ۷۱ ۷۲ ۷۳ ۷۴ ۷۵ ۷۶ ۷۷ ۷۸ ۷۹ ۸۰ ۸۱ ۸۲ ۸۳ ۸۴ ۸۵ ۸۶ ۸۷ ۸۸ ۸۹ ۹۰ ۹۱ ۹۲ ۹۳ ۹۴ ۹۵ ۹۶ ۹۷ ۹۸ ۹۹ ۱۰۰ ۱۰۱ ۱۰۲ ۱۰۳ ۱۰۴ ۱۰۵ ۱۰۶ ۱۰۷ ۱۰۸ ۱۰۹ ۱۱۰ ۱۱۱ ۱۱۲ ۱۱۳ ۱۱۴ ۱۱۵ ۱۱۶ ۱۱۷ ۱۱۸ ۱۱۹ ۱۲۰ ۱۲۱ ۱۲۲ ۱۲۳ ۱۲۴ ۱۲۵ ۱۲۶ ۱۲۷ ۱۲۸ ۱۲۹ ۱۳۰ ۱۳۱ ۱۳۲ ۱۳۳ ۱۳۴ ۱۳۵ ۱۳۶ ۱۳۷ ۱۳۸ ۱۳۹ ۱۴۰ ۱۴۱ ۱۴۲ ۱۴۳ ۱۴۴ ۱۴۵ ۱۴۶ ۱۴۷ ۱۴۸ ۱۴۹ ۱۵۰ ۱۵۱ ۱۵۲ ۱۵۳ ۱۵۴ ۱۵۵ ۱۵۶ ۱۵۷ ۱۵۸ ۱۵۹ ۱۶۰ ۱۶۱ ۱۶۲ ۱۶۳ ۱۶۴ ۱۶۵ ۱۶۶ ۱۶۷ ۱۶۸ ۱۶۹ ۱۷۰ ۱۷۱ ۱۷۲ ۱۷۳ ۱۷۴ ۱۷۵ ۱۷۶ ۱۷۷ ۱۷۸ ۱۷۹ ۱۸۰ ۱۸۱ ۱۸۲ ۱۸۳ ۱۸۴ ۱۸۵ ۱۸۶ ۱۸۷ ۱۸۸ ۱۸۹ ۱۹۰ ۱۹۱ ۱۹۲ ۱۹۳ ۱۹۴ ۱۹۵ ۱۹۶ ۱۹۷ ۱۹۸ ۱۹۹ ۲۰۰ ۲۰۱ ۲۰۲ ۲۰۳ ۲۰۴ ۲۰۵ ۲۰۶ ۲۰۷ ۲۰۸ ۲۰۹ ۲۱۰ ۲۱۱ ۲۱۲ ۲۱۳ ۲۱۴ ۲۱۵ ۲۱۶ ۲۱۷ ۲۱۸ ۲۱۹ ۲۲۰ ۲۲۱ ۲۲۲ ۲۲۳ ۲۲۴ ۲۲۵ ۲۲۶ ۲۲۷ ۲۲۸ ۲۲۹ ۲۳۰ ۲۳۱ ۲۳۲ ۲۳۳ ۲۳۴ ۲۳۵ ۲۳۶ ۲۳۷ ۲۳۸ ۲۳۹ ۲۴۰ ۲۴۱ ۲۴۲ ۲۴۳ ۲۴۴ ۲۴۵ ۲۴۶ ۲۴۷ ۲۴۸ ۲۴۹ ۲۵۰ ۲۵۱ ۲۵۲ ۲۵۳ ۲۵۴ ۲۵۵ ۲۵۶ ۲۵۷ ۲۵۸ ۲۵۹ ۲۶۰ ۲۶۱ ۲۶۲ ۲۶۳ ۲۶۴
(۱۷ اردیبهشت ۱۳۹۵ ۰۱:۳۷ ب.ظ)mmm1374 نوشته شده توسط: جواب اون سوال که گفته بود کدوم پرس و جو درسته؟Abd
گزینه هاش AB D و CB و .... بود چی میشد؟؟؟
پایگاه داده نرم افزار
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۲۹ ب.ظ)freidoony نوشته شده توسط: مشترکا (دفترچه B)
ساختمان:
گره با بیشترین h می شد اونی که h+1 داشت و کران بالا بود
نظریه:
معلوم بود که L2 زیر مجموعه L(G) بود و L4 هم برابر (گزینه ۴)
تورینگ اولی ۱ ببینه صفر می ذاره میره چپ دومی صفر ببینه ۱ میزاره میره راست (گزینه ۲)
بین اونی که K1,k2 داشت با گزینه ۴ مونده بودم که ۴ زدم
زبان اول مجموع دو زبان مستقل قطعی بود که میشه غیر قطعی زبان دوم هم منظم بود که اشتراکشون می شد مستقل غیر قطعی (گزینه ۱)
مدار منطقی:
PI و EPI می شد ۰ و ۷ گزینه ۳
اونی که گفته بود f3=f1 Xor f2 می شد ۳و۵و۷و۱۵ گزینه ۴
اون مداری که برخی ورودی ها غیر مجاز بودند می شد out=0 گزینه ۲
اون سوالی که گفته بود سیگنال خروجی چی می شه اونجایی که x=1 میشد خروجی ۱ بود و وقتی y=0 شد خروجی ۰ شد (چی گفتم) گزینه ۳
یه سوال هم بود انکدر داشت که می شد ضرب ماکسترم ها که باید متممش می کردی ولی جوابش یادم نیست
اونی هم که گفته بود تابع رو ساده کنید هازارد نداشته باشه میشد b`d`+ad` گزینه ۲
معماری:
جمع مانتیس می شد ۰ ۱۱۱ ۰۰۱۱ گزینه ۲
تعداد جمع ها در Booth هم میشد ۲۰ و۵ گزینه ۲
بقیشم یادم نیست
سیستم عامل:
سمافور میشد ۱۰ ولی یادم رفت تو پاسخنامه پرش کنم
این سوال اول نظریه خیلی وقت گیر بود،
زبان L4 100001 رو تولید نمیکرد![/align]
[align=left]
(۱۷ اردیبهشت ۱۳۹۵ ۰۱:۴۲ ب.ظ)freidoony نوشته شده توسط: عجب کنکور سختی بودا... خدا رحم کنهاون سوال که وزن گراف رو کم میزد n^2 ...
تو تخصصی من این جوابا رو زدم
اولی که LL بود تناقض هم نداشت مشخص بود
دومی می شد aو)
سومی با a برمیگرده با A میره جلو
چهاررمی همه موارد می شد ( Lambeda)
پنجمی میشد اولی حلقه بی نهایت و دومی صفر (گزینه ۱) یا هر دو بی نهایت (گزینه ۳) ولی فکر کنم گزینه ۱ صحیح تر بود
ششمی که خدا بده برکت حل کردنش یک ساعت طول می کشید
هفتمی که اصلان تو هیچ کتابی من ندیده بودم این سوالو
هشتمی که دیجسترا بود زدم گزینه ۳ یعنی ۵ تا
نهمی که گراف و کوتاه ترین مسیر ها رو داده بود هم تابلو بود که n^2 میشد
دهمی نزدم
یازدهمی که هافمن بود کمتر از نصف (گزینه ۳)
دوازدهمی دنباله مشترک هر دو درست بود (گزینه ۱)
سیزدهمی هم D,B,C درست بودند گزینه ۳
چهاردهمی تاپل تکراری ندارد گزینه ۳ دقت کنید گزینه ۲ علاوه بر چند مقداری بودن باید کلید کاندید هم داشته باشد
پانزدهمی هم B میشد (گزینه ۲)
شانزدهمی هم گزینه ۴ اونی که exept داشت
چه الگوریتمی براش هست از n^2 ?
نیاز نبود دایجسترا رو از نودی که تغییر داده یعنی s بشه نود u اجرا کنه ؟
از مرتبه nlogn .?
(۱۷ اردیبهشت ۱۳۹۵ ۰۱:۵۳ ب.ظ)mohamad moo نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۲ ب.ظ)saeid1389 نوشته شده توسط: سوال یک کامپایلر
به علت برخورد first/follow ، گرامر (۱)LL نیست
پس تناقض داشت
شما LL(1) بودن رو دارید اشتباه تحلیل میکنید!
گرامری LL(1) هستش که تمام قواعد آن،برخورد first/first و برخورد first/follow نداشته باشه!
ّ
در این سوال گفته شده یکی از متغیر های گرامر A هستش که دارای قاعده تولید های [tex]A\: \rightarrow\: \alpha\: \mid\: \: \beta[/tex] هستش.(پس متغیرها و قواعد دیگه ای هم داره)...
از طرفی طبق فرض سوال :قاعده [tex]\alpha[/tex] میتونه لامبدا رو تولید کنه ولی [tex]\beta[/tex] لامبدا رو تولید نمیکنه!
و شرط اول سوال: [tex]first(\alpha)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش ،پس یعنی این متغیر برخورد first/first نداره.
و شرط دوم سوال: [tex]follow(A)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش، پس یعنی این متغیر برخورد First/Follow نداره!
همونطور که میدونید برخورد first/follow یعنی follow متغیر مورد نظر،اشتراکش با قاعده ای که لامبدا رو تولید نمیکنه،تهی باشه!!! که اینجا هم همینطوره!
و شرط سوم میگه که : [tex]follow(A)\: \cap\: \: first(A)\: \ne\: \varnothing[/tex] که هیچ مشکلی نداره و میتونه اتفاق بیفته!!بطور مثال گرامر زیر رو در نظر بگیرید:که هر سه شرط صورت سوال رو داره!
[tex]A\: \rightarrow\: BC\: \mid\: \: g[/tex]
[tex]B\: \rightarrow\: b\: \mid\: \: \lambda[/tex]
[tex]C\: \rightarrow\: dD\: \mid\: \: \lambda[/tex]
[tex]D\: \rightarrow\: Ab\: \mid\: \: \lambda[/tex]
[tex]B\: \rightarrow\: b\: \mid\: \: \lambda[/tex]
[tex]C\: \rightarrow\: dD\: \mid\: \: \lambda[/tex]
[tex]D\: \rightarrow\: Ab\: \mid\: \: \lambda[/tex]
در متغیر A:
[tex]First(\alpha)\: =\: First\: (BC)\: =\{b\: ,\: d\: ,\: \lambda\}[/tex]
[tex]First(\beta)\: =\: First\: (g)\: =\{g\}[/tex]
پس برخورد first/first نداره.
[tex]Follow(A)\: =\: \{\: \$\: ,\: \: b\}[/tex]
و چون [tex]Follow(A)\: \cap\: First(\beta)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{g\}\: =\: \varnothing[/tex]
پس برخورد first/follow هم نداره در حالیکه [tex]Follow(A)\: \cap\: First(A)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{b,c,\: \lambda\: ,\: g\}\: =\{b\}\: \ne\varnothing[/tex] هستش!
پس با این مثال مشخص شد که هر سه شرط سوال درست هستش و هیچ تناقضی نیست.وچون زوج قاعده A ، شرط LL(1) بودن رو نقض نمیکنه ،LL(1) بودن یا نبودن گرامر بستگی به قواعد دیگر گرامر داره.(که در متن سوال اشاره شده زوج قاعده A بخشی از قواعد یک گرامر است)
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۴۱ ب.ظ)IranianWizard نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۳ ب.ظ)mohamad moo نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۲ ب.ظ)saeid1389 نوشته شده توسط: سوال یک کامپایلر
به علت برخورد first/follow ، گرامر (۱)LL نیست
پس تناقض داشت
شما LL(1) بودن رو دارید اشتباه تحلیل میکنید!
گرامری LL(1) هستش که تمام قواعد آن،برخورد first/first و برخورد first/follow نداشته باشه!
ّ
در این سوال گفته شده یکی از متغیر های گرامر A هستش که دارای قاعده تولید های [tex]A\: \rightarrow\: \alpha\: \mid\: \: \beta[/tex] هستش.(پس متغیرها و قواعد دیگه ای هم داره)...
از طرفی طبق فرض سوال :قاعده [tex]\alpha[/tex] میتونه لامبدا رو تولید کنه ولی [tex]\beta[/tex] لامبدا رو تولید نمیکنه!
و شرط اول سوال: [tex]first(\alpha)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش ،پس یعنی این متغیر برخورد first/first نداره.
و شرط دوم سوال: [tex]follow(A)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش، پس یعنی این متغیر برخورد First/Follow نداره!
همونطور که میدونید برخورد first/follow یعنی follow متغیر مورد نظر،اشتراکش با قاعده ای که لامبدا رو تولید نمیکنه،تهی باشه!!! که اینجا هم همینطوره!
و شرط سوم میگه که : [tex]follow(A)\: \cap\: \: first(A)\: \ne\: \varnothing[/tex] که هیچ مشکلی نداره و میتونه اتفاق بیفته!!بطور مثال گرامر زیر رو در نظر بگیرید:که هر سه شرط صورت سوال رو داره!
[tex]A\: \rightarrow\: BC\: \mid\: \: g[/tex]
[tex]B\: \rightarrow\: b\: \mid\: \: \lambda[/tex]
[tex]C\: \rightarrow\: dD\: \mid\: \: \lambda[/tex]
[tex]D\: \rightarrow\: Ab\: \mid\: \: \lambda[/tex]
در متغیر A:
[tex]First(\alpha)\: =\: First\: (BC)\: =\{b\: ,\: d\: ,\: \lambda\}[/tex]
[tex]First(\beta)\: =\: First\: (g)\: =\{g\}[/tex]
پس برخورد first/first نداره.
[tex]Follow(A)\: =\: \{\: \$\: ,\: \: b\}[/tex]
و چون [tex]Follow(A)\: \cap\: First(\beta)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{g\}\: =\: \varnothing[/tex]
پس برخورد first/follow هم نداره در حالیکه [tex]Follow(A)\: \cap\: First(A)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{b,c,\: \lambda\: ,\: g\}\: =\{b\}\: \ne\varnothing[/tex] هستش!
پس با این مثال مشخص شد که هر سه شرط سوال درست هستش و هیچ تناقضی نیست.وچون زوج قاعده A ، شرط LL(1) بودن رو نقض نمیکنه ،LL(1) بودن یا نبودن گرامر بستگی به قواعد دیگر گرامر داره.(که در متن سوال اشاره شده زوج قاعده A بخشی از قواعد یک گرامر است)
دوست عزیز ممنون از توضیحات مفیدتون
خب سوال مد نظر ما هم همین سه گزینه رو دقیقا داشت و شرایط LL1 رو برقرار میکرد
و گزینه ۱ درست بود که LL1 می باشد. درسته ؟؟؟
شما خودتون کدوم گزینه رو زدید؟؟؟
(۱۷ اردیبهشت ۱۳۹۵ ۰۱:۵۷ ب.ظ)farahdsa نوشته شده توسط: سلاممدار چون dont care در pi شرکت میکنه ۰ ۷ میشد .
کنکور همینه یه سری درسها آسون تر از پارسال میاد یه سری سختر از پارسال. بگیر نگیر داره.
تخصصی:
اولیش LL نبود ، چون FIRT/FOLLW تهی نبود.
دومی )و ) میشد، البته بین ) و a شک داشتم.
سومی با DFA نمیدونم چی میشد.
اون برنامه سازی پیاده سازی خیلی بد داده بودند، این ارجاع نیاز دیگه چیه.
اون تست c++ , شیگرایی میشد که من نزدم.
الگوریتم اون دایجسترا به نظرم ۳ حالت بیشتر نمیشد.
اما پایگاه :
۱- این عبارت فقط گزینهها رو خراب کرده بود بنابراین ABD میشد.
۲- تاپل تکراری نداریم.
۳-B میشه چون همه خصیصه رو پوشش نمیده
۴- اون اکسپت میشه، ولی قبل اکسپت باید نام اسامی افراد باشه.
---
مشترکها :
دوستان اون مدار منطقی ۷-۰ میشه یا ۶-۲ ?
نظریه گزینه L1 درسته،L4 زیرمجومه ماشین بود
سوال تورینگ رو یادم نمیاد صورتش چی بود راحت بود.
سوال گرامر رو باید شرطها رو چک میکردی، ۲ تا گزینه بود یکی M کوچکتر و بزگتر بود حذف میشد، یکی از گزینها نا مستقل از متن بود که حذف میشه. باید همینطوری حذفی بریم.
اون سوال اشتراک زبانها،
زبان اول نامنظظم و قطعی بود، زبان دوم منظم و قطعی بود اشتراکش به نظرم منظم میشد.
---
سوالهای os
اون صفها درست بود
اون منابع رو متاسفانه وقت نشد خیلی راحت بود.
اون سمافور دوستان گزینهش چی میشد؟
--
معماری،
اون جمع مانتیس چی میشد؟
Sql
اون مجموعه ای که بزرگتر بود فک کنم قبل از exept باید میبود .
چکن اون یکی گذینه مجموعه دوم بعد از اکسپت بزرگتر از اولی بود .
SQL
NOT EXIT ( SELECT ISBN FROM TABLE WHERE NAME) EXPECT (FROM ISBN FROM TABLE WHERE BOOK)
این درست میشه
اول میاد نام کد کتابها رو در میاد، بعد میاد نام افراد رو میاره که این کتاب رو قرض نگرفته، بعد NOT EXIT همه افرادی رو بده که کتاب فلان رو قرض گرفته.
اوه اوه، اون دوست درست گفت LL هست من حواسم نبود به اون شرطه نبود اشتباه دیدم
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۴۱ ب.ظ)milad12321 نوشته شده توسط: اون سوال که وزن گراف رو کم میزد n^2 ...فرض کنیم یالی که کم شده )a,b) با وزن جدید w کافیست به ازای هر خانه از D مقدار زیر رو محاسبه کنید
چه الگوریتمی براش هست از n^2 ?
نیاز نبود دایجسترا رو از نودی که تغییر داده یعنی s بشه نود u اجرا کنه ؟
از مرتبه nlogn .?
D[i,j]=min(D[i,j] , D[i,a]+w+D[b,j یعنی بین D[i,a]+w+D[b,j و D[i,j مینیمم بگیرید. کل خونه ها هم N^2 هست
یک مثال ساده هم میشد حلش کرد یک مربع در نظر بگیرید که دو تا قطرشم رسم شده (گراف کامل ۴ راسی) وزن یک راس رو ۲۰۰۰۰ بذارید بقیه رو ۱۰۰ حالا اون ۲۰۰۰۰ رو کم کنید بشه ۱ در این صورت همه مسیر ها باید به روز شوند یعنی N^2
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۴۱ ب.ظ)IranianWizard نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۳ ب.ظ)mohamad moo نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۲ ب.ظ)saeid1389 نوشته شده توسط: سوال یک کامپایلر
به علت برخورد first/follow ، گرامر (۱)LL نیست
پس تناقض داشت
شما LL(1) بودن رو دارید اشتباه تحلیل میکنید!
گرامری LL(1) هستش که تمام قواعد آن،برخورد first/first و برخورد first/follow نداشته باشه!
ّ
در این سوال گفته شده یکی از متغیر های گرامر A هستش که دارای قاعده تولید های [tex]A\: \rightarrow\: \alpha\: \mid\: \: \beta[/tex] هستش.(پس متغیرها و قواعد دیگه ای هم داره)...
از طرفی طبق فرض سوال :قاعده [tex]\alpha[/tex] میتونه لامبدا رو تولید کنه ولی [tex]\beta[/tex] لامبدا رو تولید نمیکنه!
و شرط اول سوال: [tex]first(\alpha)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش ،پس یعنی این متغیر برخورد first/first نداره.
و شرط دوم سوال: [tex]follow(A)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش، پس یعنی این متغیر برخورد First/Follow نداره!
همونطور که میدونید برخورد first/follow یعنی follow متغیر مورد نظر،اشتراکش با قاعده ای که لامبدا رو تولید نمیکنه،تهی باشه!!! که اینجا هم همینطوره!
و شرط سوم میگه که : [tex]follow(A)\: \cap\: \: first(A)\: \ne\: \varnothing[/tex] که هیچ مشکلی نداره و میتونه اتفاق بیفته!!بطور مثال گرامر زیر رو در نظر بگیرید:که هر سه شرط صورت سوال رو داره!
[tex]A\: \rightarrow\: BC\: \mid\: \: g[/tex]
[tex]B\: \rightarrow\: b\: \mid\: \: \lambda[/tex]
[tex]C\: \rightarrow\: dD\: \mid\: \: \lambda[/tex]
[tex]D\: \rightarrow\: Ab\: \mid\: \: \lambda[/tex]
در متغیر A:
[tex]First(\alpha)\: =\: First\: (BC)\: =\{b\: ,\: d\: ,\: \lambda\}[/tex]
[tex]First(\beta)\: =\: First\: (g)\: =\{g\}[/tex]
پس برخورد first/first نداره.
[tex]Follow(A)\: =\: \{\: \$\: ,\: \: b\}[/tex]
و چون [tex]Follow(A)\: \cap\: First(\beta)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{g\}\: =\: \varnothing[/tex]
پس برخورد first/follow هم نداره در حالیکه [tex]Follow(A)\: \cap\: First(A)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{b,c,\: \lambda\: ,\: g\}\: =\{b\}\: \ne\varnothing[/tex] هستش!
پس با این مثال مشخص شد که هر سه شرط سوال درست هستش و هیچ تناقضی نیست.وچون زوج قاعده A ، شرط LL(1) بودن رو نقض نمیکنه ،LL(1) بودن یا نبودن گرامر بستگی به قواعد دیگر گرامر داره.(که در متن سوال اشاره شده زوج قاعده A بخشی از قواعد یک گرامر است)
منم نظر شما رو دارم البته اگه بی دقتی نکرده باشیم ک گفته باشه فقط این قاعده به صورت جفتیه. همچین چیزی گفته نشده بود درسته؟
دوستان از سوالای هوش بگید ...
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۲۹ ب.ظ)freidoony نوشته شده توسط: نظریه:
معلوم بود که L2 زیر مجموعه L(G) بود و L4 هم برابر (گزینه ۴)
زبان اول مجموع دو زبان مستقل قطعی بود که میشه غیر قطعی زبان دوم هم منظم بود که اشتراکشون می شد مستقل غیر قطعی (گزینه ۱)
ولی گفته بود L2 زیر مجموعه محض L(M) هستش!که اشتباهه!چون برابر بودند!
در مورد مستقل قطعی:زبان اول اجتماع دو زبان مستقل قطعی بود،که فک کنم این بود:
[tex]\{a^nd\: b^n\}\ :\cup\: \: \{a^mc\: b^{2m}\}[/tex]
که مستقل قطعی هستش!
زبان دوم هم که منظم بود!
و اشتراک یک زبان مستقل قطعی و منظم،مستقل قطعی هستش!و فک کنم منظم هم نبود.
پس زبان ،مستقل قطعی است ولی منظم نیست.
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۵۶ ب.ظ)IranianWizard نوشته شده توسط: زبان اول مجموع دو زبان مستقل قطعی بود که میشه غیر قطعی زبان دوم هم منظم بود که اشتراکشون می شد مستقل غیر قطعی (گزینه ۱)L2 با یک ختم می شد در صورتی که ماشین جملاتی داشت که با صفر هم ختم می شد
زبان مستقل از متن قطعی هم تحت اجتماع بسته نیست
بچه ها اون سوال هافمن هم فک کنم میشه گزینه ۳ که گفته بود از نصف کمتره
اینطور سوالی تو کتاب قدسی ذکر هم شده
راستی
یه سوالی هم آوردن بودن گفته بودن چند گزینه اش درسته؟؟؟
میشد گزینه ۳ یعنی دو عبارت
اون الگوریتم حریصانه اش اشتباه بود فک کنم
طراحی الگوریتم (نرم)
(۱۷ اردیبهشت ۱۳۹۵ ۰۲:۴۵ ب.ظ)mmm1374 نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۲:۴۱ ب.ظ)IranianWizard نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۳ ب.ظ)mohamad moo نوشته شده توسط:(17 اردیبهشت ۱۳۹۵ ۰۱:۵۲ ب.ظ)saeid1389 نوشته شده توسط: سوال یک کامپایلر
به علت برخورد first/follow ، گرامر (۱)LL نیست
پس تناقض داشت
شما LL(1) بودن رو دارید اشتباه تحلیل میکنید!
گرامری LL(1) هستش که تمام قواعد آن،برخورد first/first و برخورد first/follow نداشته باشه!
ّ
در این سوال گفته شده یکی از متغیر های گرامر A هستش که دارای قاعده تولید های [tex]A\: \rightarrow\: \alpha\: \mid\: \: \beta[/tex] هستش.(پس متغیرها و قواعد دیگه ای هم داره)...
از طرفی طبق فرض سوال :قاعده [tex]\alpha[/tex] میتونه لامبدا رو تولید کنه ولی [tex]\beta[/tex] لامبدا رو تولید نمیکنه!
و شرط اول سوال: [tex]first(\alpha)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش ،پس یعنی این متغیر برخورد first/first نداره.
و شرط دوم سوال: [tex]follow(A)\: \cap\: \: first(\beta)\: =\: \varnothing[/tex] هستش، پس یعنی این متغیر برخورد First/Follow نداره!
همونطور که میدونید برخورد first/follow یعنی follow متغیر مورد نظر،اشتراکش با قاعده ای که لامبدا رو تولید نمیکنه،تهی باشه!!! که اینجا هم همینطوره!
و شرط سوم میگه که : [tex]follow(A)\: \cap\: \: first(A)\: \ne\: \varnothing[/tex] که هیچ مشکلی نداره و میتونه اتفاق بیفته!!بطور مثال گرامر زیر رو در نظر بگیرید:که هر سه شرط صورت سوال رو داره!
[tex]A\: \rightarrow\: BC\: \mid\: \: g[/tex]
[tex]B\: \rightarrow\: b\: \mid\: \: \lambda[/tex]
[tex]C\: \rightarrow\: dD\: \mid\: \: \lambda[/tex]
[tex]D\: \rightarrow\: Ab\: \mid\: \: \lambda[/tex]
در متغیر A:
[tex]First(\alpha)\: =\: First\: (BC)\: =\{b\: ,\: d\: ,\: \lambda\}[/tex]
[tex]First(\beta)\: =\: First\: (g)\: =\{g\}[/tex]
پس برخورد first/first نداره.
[tex]Follow(A)\: =\: \{\: \$\: ,\: \: b\}[/tex]
و چون [tex]Follow(A)\: \cap\: First(\beta)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{g\}\: =\: \varnothing[/tex]
پس برخورد first/follow هم نداره در حالیکه [tex]Follow(A)\: \cap\: First(A)\: =\: \{\: \$\: ,\: b\}\: \cap\: \: \{b,c,\: \lambda\: ,\: g\}\: =\{b\}\: \ne\varnothing[/tex] هستش!
پس با این مثال مشخص شد که هر سه شرط سوال درست هستش و هیچ تناقضی نیست.وچون زوج قاعده A ، شرط LL(1) بودن رو نقض نمیکنه ،LL(1) بودن یا نبودن گرامر بستگی به قواعد دیگر گرامر داره.(که در متن سوال اشاره شده زوج قاعده A بخشی از قواعد یک گرامر است)
دوست عزیز ممنون از توضیحات مفیدتون
خب سوال مد نظر ما هم همین سه گزینه رو دقیقا داشت و شرایط LL1 رو برقرار میکرد
و گزینه ۱ درست بود که LL1 می باشد. درسته ؟؟؟
شما خودتون کدوم گزینه رو زدید؟؟؟
نخیر،چونکه زوج قاعده A شرط LL(1) بودن رو نقض نمیکنه،دلیلی نیست که بگیم پس این گرامر LL(1) هست!بستگی به بقیه قواعد زبان داره.میتونه LL(1) باشه،میتونه نباشه.
من گزینه ای که گفته بود بستگی به دیگر قواعد گرامر دارد رو خط زدم
اون زبان اول مستقل از متن قطعی هست، نه ربطی به بسته بودن یا نبودن ندارد، چون وقتی a رو میزنیم، کلمه بعدی یا c هست یا d پس قطعی هست.
زبان دوم منظم هست، زبان منظم اشتراکش با زبان مسقل از متن قطعی ، مستقل از متن قطعی هست.
ولی اشتراکش منظم هم هست.