انجمنصفحه اولجستجوی انجمن

[ف.ش]

علوم کامپیوتر ۹۰

[ف.ش]

یه توضیحی هم بدین واسه دوستان

[silver]

(۳۰ شهریور ۱۳۹۰ ۱۰:۴۱ ب.ظ)afagh1389 نوشته شده توسط:  یه توضیحی هم بدین واسه دوستان

فکر کنم هر ۴گزینه ذاتا مبهم باشند

[ف.ش]

نه فقط یک گزینه درسته.

[silver]

با سلام به afagh جان.جواب گزینه ۱ میشه.
گزینه۱ زبان {a^n b^n c^m} U {a^m b^n c^n} را تولید می کند که ذاتا مبهم است.زیرا هر گرامری که ارائه کنیم رشته ای به صورت a^k b^k c^k وجود خواهد داشت که بیش از یک درخت اشتقاق دارد.

گزینه ۴ زبان L={a^k b^k c^k را تولید می کند که اصلا مستقل از متن نیست.
گزینه ۳ زبان Y را تولید می کند که غیر مبهم است.
گزینه ۲ زبان T را تولید می کند که غیر مبهم است.

[ahmadnouri]

اگه زبان های V,w,A,C,T,Y رو بنویسیم میشه گزینه‌ها رو بررسی کرد
که
[tex]V={a^{n}b^{n}:n\geq 0}[/tex]
[tex]W={b^{n}c^{n}:n\geq 0}[/tex]
[tex]A={a^{n}:n\geq 0}[/tex]
[tex]C={c^{n}:n\geq 0}[/tex]
[tex]T={a^{n}b^{n}c^{*}:n\geq 0}[/tex]
[tex]Y={a^{*}b^{n}c^{n}:n\geq 0}[/tex]






که بنظر من گزینه ۱ ذاتا مبهمه
چون برای هر [tex]a^{n}b^{n}c^{n}[/tex] دو درخت اشتقاق خواهیم داشت

[Abrekhoshhal]

(۲۳ آبان ۱۳۹۰ ۰۳:۲۵ ب.ظ)silver نوشته شده توسط:  با سلام به afagh جان.جواب گزینه ۱ میشه.
گزینه۱ زبان {a^n b^n c^m} U {a^m b^n c^n} را تولید می کند که ذاتا مبهم است.زیرا هر گرامری که ارائه کنیم رشته ای به صورت a^k b^k c^k وجود خواهد داشت که بیش از یک درخت اشتقاق دارد.

گزینه ۴ زبان L={a^k b^k c^k را تولید می کند که اصلا مستقل از متن نیست.
گزینه ۳ زبان Y را تولید می کند که غیر مبهم است.
گزینه ۲ زبان T را تولید می کند که غیر مبهم است.

یه سوااال پایه ایی
چرا اجتماع اون دوتا تو گزینه ١ میشه a^k b^k c^k
نمیدونم چرا قبلا به نظرم منطقییی میومد ولی الاااان نه !!
میشه توضیح بدید ؟

[zmaster]

(۲۳ شهریور ۱۳۹۱ ۰۶:۱۱ ب.ظ)sang نوشته شده توسط:  یه سوااال پایه ایی
چرا اجتماع اون دوتا تو گزینه ١ میشه a^k b^k c^k
نمیدونم چرا قبلا به نظرم منطقییی میومد ولی الاااان نه !!
میشه توضیح بدید ؟

سلام
اجتماع V , Y نمیشه a^n b^n c^n (رشته هایی که تعداد a و b و c برابر هستند)، بلکه این اجتماع رشته های مانند این رو هم شامل میشه. و برای تولید این رشته ها بیش از یک روش تولید وجود دارد، بنابراین ذاتا مبهم هستند.