تالار گفتمان مانشت
بحث درباره سوال ۵۴ آزمون ششم مهستان - نسخه‌ی قابل چاپ

بحث درباره سوال ۵۴ آزمون ششم مهستان - fa_karoon - 01 بهمن ۱۳۹۱ ۱۱:۰۹ ب.ظ

سلام دوستان
شما بگید مگر نه L2 و L3 هم مستقل از متن هستند علاوه بر L1?
[tex]L1=[a^{n}b^{m}c^{n}:m<1000,n\geqslant 0][/tex]
[tex]L2=[WW^{R} , w:w \in \left \{ a,b \right \}^{*}][/tex]
[tex]L3=[a^{n}WW^{R}b^{n} :w \in \left \{ a,b \right \}^{*},n\geqslant 0][/tex]
[tex]L4=[a^{n}b^{m} :n =2^{m}][/tex]

در حل تمرین لینز گفته L3 مستقل از متن است و دکتر کارگهی هم می گن که در واقع L2 وL3 یکی هستن پس هر دو باید مستقل از متن باشند.

RE: بحث درباره سوال ۵۴ آزمون ششم مهستان - Shiny_Star - 01 بهمن ۱۳۹۱ ۱۱:۵۲ ب.ظ

(۰۱ بهمن ۱۳۹۱ ۱۱:۰۹ ب.ظ)fa_karoon نوشته شده توسط:  سلام دوستان
شما بگید مگر نه L2 و L3 هم مستقل از متن هستند علاوه بر L1?
[tex]L1=[a^{n}b^{m}c^{n}:m<1000,n\geqslant 0][/tex]
[tex]L2=[WW^{R} , w:w \in \left \{ a,b \right \}^{*}][/tex]
[tex]L3=[a^{n}WW^{R}b^{n} :w \in \left \{ a,b \right \}^{*},n\geqslant 0][/tex]
[tex]L4=[a^{n}b^{m} :n =2^{m}][/tex]

در حل تمرین لینز گفته L3 مستقل از متن است و دکتر کارگهی هم می گن که در واقع L2 وL3 یکی هستن پس هر دو باید مستقل از متن باشند.

سلام
زبان L2 مستقل از متن غیر قطعی هست، زبان L3 مستقل از متن غیر قطعی