(۰۴ بهمن ۱۳۹۳ ۱۲:۴۸ ق.ظ)ana9940 نوشته شده توسط:  وقتی گفته میشه که مثلا زبان های منظم تحت اشتراک بسته هستند، یعنی اینکه اگه دو زبان منظم L1 و L2 داشته باشیم اشتراک اون دو هم منظم هست.
زبان های مستقل از متن قطعی فقط روی عملگرهای مکمل ،همریختی معکوس و اشتراک منظم بسته هستند.
توی این جدول همه موارد جامع و کامل هست:

سلام
باتشکر از توضیحاتتون!

بیزحمت یک خورده در خصوص موارد زیر که توی جدول نوشته شده توضیح بدید:
- بستار ستاره (منظورش همون cleen star یعنی مثلا *a خب چی میخواد بگه => میخواد بگه *(زبان منظم) هم بسته است؟
- هم ریختی
- هم ریختی بدون لاندا
- هم ریختی معکوس
- اشتراک منظم .... به اشتراک خالی فرق میکنه؟؟

باتشکر
موفق وموید!
التماس دعا

(۰۴ بهمن ۱۳۹۳ ۱۲:۳۴ ب.ظ)mostafa2012 نوشته شده توسط:  - بستار ستاره (منظورش همون cleen star یعنی مثلا *a خب چی میخواد بگه => میخواد بگه *(زبان منظم) هم بسته است؟
- هم ریختی
- هم ریختی بدون لاندا
- هم ریختی معکوس
- اشتراک منظم .... به اشتراک خالی فرق میکنه؟؟

اول اشترک منظم رو میگم که خیلی خیلی مهمه. اشتراک منظم یعنی اشتراک یک زبان با یک زبان منظم. مثلا زبان L1 را داریم که میدونیم منظمه و زبان L2 هم داریم که نمی دونیم مستقل از متن هست یا نه. حالا اگه اشتراک این دو زبان ، یه زبان مستقل از متن رو بده، پس L2 هم مستقل از متن بوده. این جوری هم میشه گفت : اشتراک یک زبان مستقل از متن با یک زبان منظم ، حتما مستقل از متن است، به عبارتی زبان های مستقل از متن(چه قطعی و چه غیرقطعی) تحت عمل اشتراک منظم ، بسته هستند.
(یه سری از تست ها رو با همین اشتراک منظم میشه راحت حل کرد، دست کمش نگیرید!)
بستار ستاره هم همونی هست که خودتون میگی، مثلا زبان L1 رو داریم و میدونیم منظمه، طبق بسته بودن زبان های منظم بر روی بستار ستاره ، پس [tex](L1)^{\ast}[/tex] هم منظمه. یه جوراییه بدیهی حساب میشه. مثلا اگه dfa اون زبان منظم رو داشته باشیم، حالت آغازین رو اگه پایانی کنیم رشته لاندا رو می پذیره، از آخرین حالت(ها) هم باید به حالت آغازین یه حرکت داشته باشیم که عمل ستاره رو شبیه سازی کنه.
همریختی هم به نظرم همون همومورفیسم هست که این جا گفتم بهتون:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

همریختی معکوس و بدون لاندا رو راستش نمیدونم قضیه اش چیه و چه لزومی داشته توی جدول آورده، خب همریختی رو یه کم خاص تر کرده، حالا اگه جایی یه مثالی ازشون دیدم میذارم حتما.

(۰۵ بهمن ۱۳۹۳ ۱۰:۳۲ ب.ظ)ana9940 نوشته شده توسط:  

(04 بهمن ۱۳۹۳ ۱۲:۳۴ ب.ظ)mostafa2012 نوشته شده توسط:  - بستار ستاره (منظورش همون cleen star یعنی مثلا *a خب چی میخواد بگه => میخواد بگه *(زبان منظم) هم بسته است؟
- هم ریختی
- هم ریختی بدون لاندا
- هم ریختی معکوس
- اشتراک منظم .... به اشتراک خالی فرق میکنه؟؟

اول اشترک منظم رو میگم که خیلی خیلی مهمه. اشتراک منظم یعنی اشتراک یک زبان با یک زبان منظم. مثلا زبان L1 را داریم که میدونیم منظمه و زبان L2 هم داریم که نمی دونیم مستقل از متن هست یا نه. حالا اگه اشتراک این دو زبان ، یه زبان مستقل از متن رو بده، پس L2 هم مستقل از متن بوده. این جوری هم میشه گفت : اشتراک یک زبان مستقل از متن با یک زبان منظم ، حتما مستقل از متن است، به عبارتی زبان های مستقل از متن(چه قطعی و چه غیرقطعی) تحت عمل اشتراک منظم ، بسته هستند.
(یه سری از تست ها رو با همین اشتراک منظم میشه راحت حل کرد، دست کمش نگیرید!)
بستار ستاره هم همونی هست که خودتون میگی، مثلا زبان L1 رو داریم و میدونیم منظمه، طبق بسته بودن زبان های منظم بر روی بستار ستاره ، پس [tex](L1)^{\ast}[/tex] هم منظمه. یه جوراییه بدیهی حساب میشه. مثلا اگه dfa اون زبان منظم رو داشته باشیم، حالت آغازین رو اگه پایانی کنیم رشته لاندا رو می پذیره، از آخرین حالت(ها) هم باید به حالت آغازین یه حرکت داشته باشیم که عمل ستاره رو شبیه سازی کنه.
همریختی هم به نظرم همون همومورفیسم هست که این جا گفتم بهتون:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

همریختی معکوس و بدون لاندا رو راستش نمیدونم قضیه اش چیه و چه لزومی داشته توی جدول آورده، خب همریختی رو یه کم خاص تر کرده، حالا اگه جایی یه مثالی ازشون دیدم میذارم حتما.

باسلام و تشکر فراوان!