زمان کنونی: ۰۱ آذر ۱۳۹۸, ۰۷:۱۰ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

ارسال:
  

mostafa2012 پرسیده:

مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

باسلام
ببخشید من ویژگی های زبان مستقل از متن قطعی رو نمیدونم ... کتاب پوران هم گفته مراجعه شود به کتاب مرجع!
بسته بودن یعنی چه؟
بیزحمت به ترتیب توضیح دهید:
[تصویر:  329269_cvts31j8lsiurtupf6te.png]

۴
ارسال:
  

ana9940 پاسخ داده:

RE: مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

وقتی گفته میشه که مثلا زبان های منظم تحت اشتراک بسته هستند، یعنی اینکه اگه دو زبان منظم L1 و L2 داشته باشیم اشتراک اون دو هم منظم هست.
زبان های مستقل از متن قطعی فقط روی عملگرهای مکمل ،همریختی معکوس و اشتراک منظم بسته هستند.
توی این جدول همه موارد جامع و کامل هست:
[تصویر:  329287_ton6m71v5wnjmtgklsr6.png]

ارسال:
  

mostafa2012 پاسخ داده:

RE: مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

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

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

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

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

ارسال:
  

ana9940 پاسخ داده:

RE: مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

(۰۴ بهمن ۱۳۹۳ ۱۲:۳۴ ب.ظ)mostafa2012 نوشته شده توسط:  - بستار ستاره (منظورش همون cleen star یعنی مثلا *a خب چی میخواد بگه => میخواد بگه *(زبان منظم) هم بسته است؟
- هم ریختی
- هم ریختی بدون لاندا
- هم ریختی معکوس
- اشتراک منظم .... به اشتراک خالی فرق میکنه؟؟
اول اشترک منظم رو میگم که خیلی خیلی مهمه. اشتراک منظم یعنی اشتراک یک زبان با یک زبان منظم. مثلا زبان L1 را داریم که میدونیم منظمه و زبان L2 هم داریم که نمی دونیم مستقل از متن هست یا نه. حالا اگه اشتراک این دو زبان ، یه زبان مستقل از متن رو بده، پس L2 هم مستقل از متن بوده. این جوری هم میشه گفت : اشتراک یک زبان مستقل از متن با یک زبان منظم ، حتما مستقل از متن است، به عبارتی زبان های مستقل از متن(چه قطعی و چه غیرقطعی) تحت عمل اشتراک منظم ، بسته هستند.
(یه سری از تست ها رو با همین اشتراک منظم میشه راحت حل کرد، دست کمش نگیرید!)
بستار ستاره هم همونی هست که خودتون میگی، مثلا زبان L1 رو داریم و میدونیم منظمه، طبق بسته بودن زبان های منظم بر روی بستار ستاره ، پس [tex](L1)^{\ast}[/tex] هم منظمه. یه جوراییه بدیهی حساب میشه. مثلا اگه dfa اون زبان منظم رو داشته باشیم، حالت آغازین رو اگه پایانی کنیم رشته لاندا رو می پذیره، از آخرین حالت(ها) هم باید به حالت آغازین یه حرکت داشته باشیم که عمل ستاره رو شبیه سازی کنه.
همریختی هم به نظرم همون همومورفیسم هست که این جا گفتم بهتون:

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

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

ارسال:
  

mostafa2012 پاسخ داده:

RE: مشکل در تشخیص ویژگی های زبان مستقل از متن قطعی

(۰۵ بهمن ۱۳۹۳ ۱۰:۳۲ ب.ظ)ana9940 نوشته شده توسط:  
(04 بهمن ۱۳۹۳ ۱۲:۳۴ ب.ظ)mostafa2012 نوشته شده توسط:  - بستار ستاره (منظورش همون cleen star یعنی مثلا *a خب چی میخواد بگه => میخواد بگه *(زبان منظم) هم بسته است؟
- هم ریختی
- هم ریختی بدون لاندا
- هم ریختی معکوس
- اشتراک منظم .... به اشتراک خالی فرق میکنه؟؟
اول اشترک منظم رو میگم که خیلی خیلی مهمه. اشتراک منظم یعنی اشتراک یک زبان با یک زبان منظم. مثلا زبان L1 را داریم که میدونیم منظمه و زبان L2 هم داریم که نمی دونیم مستقل از متن هست یا نه. حالا اگه اشتراک این دو زبان ، یه زبان مستقل از متن رو بده، پس L2 هم مستقل از متن بوده. این جوری هم میشه گفت : اشتراک یک زبان مستقل از متن با یک زبان منظم ، حتما مستقل از متن است، به عبارتی زبان های مستقل از متن(چه قطعی و چه غیرقطعی) تحت عمل اشتراک منظم ، بسته هستند.
(یه سری از تست ها رو با همین اشتراک منظم میشه راحت حل کرد، دست کمش نگیرید!)
بستار ستاره هم همونی هست که خودتون میگی، مثلا زبان L1 رو داریم و میدونیم منظمه، طبق بسته بودن زبان های منظم بر روی بستار ستاره ، پس [tex](L1)^{\ast}[/tex] هم منظمه. یه جوراییه بدیهی حساب میشه. مثلا اگه dfa اون زبان منظم رو داشته باشیم، حالت آغازین رو اگه پایانی کنیم رشته لاندا رو می پذیره، از آخرین حالت(ها) هم باید به حالت آغازین یه حرکت داشته باشیم که عمل ستاره رو شبیه سازی کنه.
همریختی هم به نظرم همون همومورفیسم هست که این جا گفتم بهتون:

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

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

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۶ ۱,۴۹۴ ۲۴ اردیبهشت ۱۳۹۸ ۰۴:۲۷ ب.ظ
آخرین ارسال: achitsaz73
  مشکل عدم ایجاد پروژه/فایل جدید در نت بینز αɾια ۳ ۳,۷۳۶ ۲۰ اردیبهشت ۱۳۹۸ ۰۳:۳۴ ب.ظ
آخرین ارسال: Silver1992
Question مشکل با درک توابع دنباله دار و مولد ؟؟؟؟ radar ۰ ۶۵۱ ۱۶ دى ۱۳۹۷ ۰۴:۳۶ ب.ظ
آخرین ارسال: radar
  گرامر مستقل از متن Sanazzz ۴ ۷۹۷ ۱۲ دى ۱۳۹۷ ۰۹:۵۹ ب.ظ
آخرین ارسال: Sanazzz
  مشکل لایسنس متلب αɾια ۱۳ ۳,۴۲۹ ۲۱ آذر ۱۳۹۷ ۱۰:۴۷ ق.ظ
آخرین ارسال: αɾια
  متن ایمیل برای نویسنده مقاله Iran2014 ۲ ۴۵۹ ۱۰ مهر ۱۳۹۷ ۰۹:۱۵ ب.ظ
آخرین ارسال: Iran2014
  تشخیص خطا در تحلیلگر لغوی یا نحوی zahra2012 ۵ ۳,۰۶۱ ۲۶ مرداد ۱۳۹۷ ۰۴:۲۹ ب.ظ
آخرین ارسال: tohid.salmani
  تشخیص کاراکتر با شبکه عصبی safoora s ۴ ۵۳۹ ۱۸ مرداد ۱۳۹۷ ۱۰:۵۰ ب.ظ
آخرین ارسال: kilookiloo
  مشکل ( دوستانی که میدوند راهنمایی کنند) manamsaeid ۵ ۸۸۲ ۱۸ مرداد ۱۳۹۷ ۱۱:۵۴ ق.ظ
آخرین ارسال: Happiness.72
  رفع اشکال نصب جاوا، مشکل ساخته نشدن virtual machine shiivaa ۱۰ ۷,۵۲۰ ۰۱ مرداد ۱۳۹۷ ۰۵:۱۱ ب.ظ
آخرین ارسال: mr_moh4mmad

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close