از شما اساتید محترم مانشتی تقاضا دارم به این سوالی که در پیوست پاسخ دهید
باسپاس فراوان
اشتراک دو زبان مستقل از متن لزوما مستقل از متن نیست، و به نظر من بهتری کار اینه که از هر زبان یه چند تا کلمه بنویسید و ببینید کدوماشون یکی هستن و الگوش رو پیدا کنید و به صورت یه فرم کلی بنویسید. اگه زبان ها منظم بودن میشد به صورت الگوریتمی اشتراکشون رو پیدا کرد ولی واسه مستقل از متن ها نمیشه! باقیش باخودتون
(۱۸ بهمن ۱۳۹۲ ۱۱:۴۹ ق.ظ)Riemann نوشته شده توسط: اشتراک دو زبان مستقل از متن لزوما مستقل از متن نیست، و به نظر من بهتری کار اینه که از هر زبان یه چند تا کلمه بنویسید و ببینید کدوماشون یکی هستن و الگوش رو پیدا کنید و به صورت یه فرم کلی بنویسید. اگه زبان ها منظم بودن میشد به صورت الگوریتمی اشتراکشون رو پیدا کرد ولی واسه مستقل از متن ها نمیشه! باقیش باخودتون
من هر کاری میکنم نمیتونم یه الگوی مشترک واسه رشته های این دو زبان پیدا کنم.توی جواب این سول هم اومده اشتراکشون میشه:
![[تصویر: a43768e84d13aa128e38b51]](http://http://www.uplooder.net/img/image/26/a43768e84d13aa128e38b51)
جواب اینه
[tex]a^{n}b^{2n}c^{4n}[/tex]
دقت کنید در زبان دوم باید تعداد c ها دوبرابر تعداد bها باشد، و در زبان اول هم تعداد bها دوبرابر تعداد aها .خب حالا وقتی که تعداد aها n هست، تعداد bها باید ۲n و تعداد cها باید ۴n باشد.
(۱۸ بهمن ۱۳۹۲ ۱۲:۱۴ ب.ظ)fulgent نوشته شده توسط: جواب این نمیشه؟بله توی پارسه همینو نوشته اما من متوجه نمیشم چه جوری به دست اومده.
[tex]a^{n}b^{2n}c^{4n}[/tex]
(۱۸ بهمن ۱۳۹۲ ۱۲:۱۷ ب.ظ)sonia11 نوشته شده توسط:(18 بهمن ۱۳۹۲ ۱۲:۱۴ ب.ظ)fulgent نوشته شده توسط: جواب این نمیشه؟بله توی پارسه همینو نوشته اما من متوجه نمیشم چه جوری به دست اومده.
[tex]a^{n}b^{2n}c^{4n}[/tex]
خب من اینجوری میگم که رشته های که به صورت [tex]a^{n}b^{2n}c^{4n}[/tex] باشند هم جز زبان اول هستند و هم جز زبان دوم پس این رشته ها متعلق به زبان حاصل از اشتراک دو زبان هستند.
(۱۸ بهمن ۱۳۹۲ ۱۲:۲۰ ب.ظ)fulgent نوشته شده توسط:(18 بهمن ۱۳۹۲ ۱۲:۱۷ ب.ظ)sonia11 نوشته شده توسط:(18 بهمن ۱۳۹۲ ۱۲:۱۴ ب.ظ)fulgent نوشته شده توسط: جواب این نمیشه؟بله توی پارسه همینو نوشته اما من متوجه نمیشم چه جوری به دست اومده.
[tex]a^{n}b^{2n}c^{4n}[/tex]
خب من اینجوری میگم که رشته های که به صورت [tex]a^{n}b^{2n}c^{4n}[/tex] باشند هم جز زبان اول هستند و هم جز زبان دوم پس این رشته ها متعلق به زبان حاصل از اشتراک دو زبان هستند.
چرا واسه توان c نمی نویسیم ۲m؟
(۱۸ بهمن ۱۳۹۲ ۱۲:۲۳ ب.ظ)sonia11 نوشته شده توسط:فهمیدم از تغییر متغییر استفاده کرده و هر m رو برابر با ۲n گرفته .(18 بهمن ۱۳۹۲ ۱۲:۲۰ ب.ظ)fulgent نوشته شده توسط:(18 بهمن ۱۳۹۲ ۱۲:۱۷ ب.ظ)sonia11 نوشته شده توسط:(18 بهمن ۱۳۹۲ ۱۲:۱۴ ب.ظ)fulgent نوشته شده توسط: جواب این نمیشه؟بله توی پارسه همینو نوشته اما من متوجه نمیشم چه جوری به دست اومده.
[tex]a^{n}b^{2n}c^{4n}[/tex]
خب من اینجوری میگم که رشته های که به صورت [tex]a^{n}b^{2n}c^{4n}[/tex] باشند هم جز زبان اول هستند و هم جز زبان دوم پس این رشته ها متعلق به زبان حاصل از اشتراک دو زبان هستند.
چرا واسه توان c نمی نویسیم ۲m؟
سلام
زبانی که از اشتراک دو زبان بدست میاد عبارتست از همه واژگان مشترک بین دو زبان؛ پس باید طوری پیش بریم که همه الگوهای مشترک بین دو زبان رو بدست بیاریم.
اول از قسمت c های انتهایی دو زبان صرف نظر کنید. می بینید که داریم:
a^n,b^2n در اولی و
a^n,b^m در دومی.
واضح است که زبان اولی زیر مجموعه ای از دومی است، پس تا اینجا طبق قوانین مجموعه ها اشتراک این دو میشه همون اولی.
حال چون تعداد c ها در اولی آزاد است، در مورد تعداد c ها محدود به شرط زبان دوم هستیم، پس نهایتاً داریم:
a^n,b^2n,c^4n
با تشکر از پاسخ همه دوستانی که در این بحث شرکت کردند.
