تالار گفتمان مانشت

تست زیر مربوط به سراسری 89 هست،

زبان های [tex]A,B,C\: \subseteq\: \{a,b\}\ast[/tex] به صورت زیر معرفی شده اند:
[tex]A\: =\: \{b\}B\: \cup\: \{a\}C[/tex]
[tex]B\: =\: \{\gamma\}\: \cup\: \{b\}\cup\{a\}C\: \cup\{a\}[/tex]
[tex]C\: =\: \{a\}A\: \cup\: \{\gamma\}\: \cup\: \{b\}[/tex]

کدام گزینه درست است؟

1) [tex]CB\: \subseteq\: A[/tex]
2) [tex]\{a\}\ast\: \subseteq\: A[/tex] و A منظم است
3) A منظم نیست ولی مستقل از متن است.
4) [tex]\{b\}\{b\}\ast\subseteq A[/tex] و A مستقل از متن است.

کتاب پوران جواب رو گزینه 4 اعلام کرده و این طور توضیح داده: با توجه به اینکه زبانهای نوشته شده را می توان با گرامر مستقل از متن مدل نمود A مستقل از متن است ولی در مورد منظم بودن آن نمی توان ابراز نظر کرد.

حالا سوال من اینه که از کجا فهمید که میشه این سه زبان رو با گرامر مستقل از متن مدل نمود. این سه تا همه به هم مربوط هستند، حداقل اگه یکی شون به زبان دیگه ای وابسته نبود، مستقل از متن بودن ولی الان به نظر من قطعی نمیشه حرفی زد.

سلام. نال زیرمجموعه B,C میشه ولی زیرمجموعه A نمیتونه باشه. پس 1 و 2 غلطن.
به نظر من همشون منظمن. چون همشون رو میشه با یه گرامر چپ خطی نوشت. ولی [tex]\{b\}\{b\}^*[/tex] زیرمجموعه A نیست. عبارتها رو درست نوشتید؟

سلام یه اشتباه کوچیک تو نوشتن سوال داشتیدزبان B این گونه است:
[tex]B=\{\lambda\}\cup\{b\}B\cup\{a\}C\cup\{a\}[/tex]
در این صورت عبارت[tex]\{b\}\{b\}^{\ast}\subseteq A[/tex]درست خواهد بود به علاوه همه ی زبان ها منظمند و می توان گرامر منظم زیر را برای آن ها نوشت:
[tex]A\rightarrow bB|aC[/tex]
[tex]B\rightarrow\lambda|bB|aC|a[/tex]
[tex]A\rightarrow bB|aC[/tex]

(27 خرداد 1393 08:55 ب.ظ)fatemeh69 نوشته شده توسط: [ -> ]سلام یه اشتباه کوچیک تو نوشتن سوال داشتیدزبان B این گونه است:
[tex]B=\{\lambda\}\cup\{b\}B\cup\{a\}C\cup\{a\}[/tex]
در این صورت عبارت[tex]\{b\}\{b\}^{\ast}\subseteq A[/tex]درست خواهد بود به علاوه همه ی زبان ها منظمند و می توان گرامر منظم زیر را برای آن ها نوشت:
[tex]A\rightarrow bB|aC[/tex]
[tex]B\rightarrow\lambda|bB|aC|a[/tex]
[tex]A\rightarrow bB|aC[/tex]

شما از کجا مطمئنید؟
تستی که من از پوران دیدم دقیقا عین عبارتیه که نوشتم.

(29 خرداد 1393 08:14 ب.ظ)ana9940 نوشته شده توسط: [ -> ]

(27 خرداد 1393 08:55 ب.ظ)fatemeh69 نوشته شده توسط: [ -> ]سلام یه اشتباه کوچیک تو نوشتن سوال داشتیدزبان B این گونه است:
[tex]B=\{\lambda\}\cup\{b\}B\cup\{a\}C\cup\{a\}[/tex]
در این صورت عبارت[tex]\{b\}\{b\}^{\ast}\subseteq A[/tex]درست خواهد بود به علاوه همه ی زبان ها منظمند و می توان گرامر منظم زیر را برای آن ها نوشت:
[tex]A\rightarrow bB|aC[/tex]
[tex]B\rightarrow\lambda|bB|aC|a[/tex]
[tex]A\rightarrow bB|aC[/tex]

شما از کجا مطمئنید؟
تستی که من از پوران دیدم دقیقا عین عبارتیه که نوشتم.

خوب تست کنکوره. سالش هم که نوشتید. ممکنه بعضی کتابا اشتباه نوشته باشن.

(29 خرداد 1393 08:14 ب.ظ)ana9940 نوشته شده توسط: [ -> ]شما از کجا مطمئنید؟
تستی که من از پوران دیدم دقیقا عین عبارتیه که نوشتم.

صورت سوال رو از کتاب راهیان ارشد دیدم

(30 خرداد 1393 10:22 ق.ظ)fatemeh69 نوشته شده توسط: [ -> ]

(29 خرداد 1393 08:14 ب.ظ)ana9940 نوشته شده توسط: [ -> ]شما از کجا مطمئنید؟
تستی که من از پوران دیدم دقیقا عین عبارتیه که نوشتم.

صورت سوال رو از کتاب راهیان ارشد دیدم

ممنون