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

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

ارسال:
  

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 اون زبان منظم رو داشته باشیم، حالت آغازین رو اگه پایانی کنیم رشته لاندا رو می پذیره، از آخرین حالت(ها) هم باید به حالت آغازین یه حرکت داشته باشیم که عمل ستاره رو شبیه سازی کنه.
همریختی هم به نظرم همون همومورفیسم هست که این جا گفتم بهتون:

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

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

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۴۳۹ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  گرامر زبان انگلیسی:صفت های ed و ing دار cyruskingsolomon ۳ ۲,۶۲۰ ۱۵ بهمن ۱۳۹۹ ۰۶:۴۱ ب.ظ
آخرین ارسال: cyruskingsolomon
  تشخیص گوگل مپس با Live View AR برای مکان دقیق elecomco ۱ ۳,۸۲۱ ۰۵ بهمن ۱۳۹۹ ۰۲:۴۹ ب.ظ
آخرین ارسال: kooshaideal1
  رفع اشکال نصب جاوا، مشکل ساخته نشدن virtual machine shiivaa ۱۲ ۱۹,۰۵۴ ۱۹ آبان ۱۳۹۹ ۰۷:۲۹ ب.ظ
آخرین ارسال: wanted471
  متن به هم ریخته در نرم افزار Notepad HAMID3F ۱۵ ۲۰,۹۶۵ ۱۷ شهریور ۱۳۹۹ ۰۸:۲۶ ق.ظ
آخرین ارسال: rezasedghi100
Sad مشکل در برنامه نویسی شیء گرا Xialu ۰ ۱,۹۴۱ ۰۵ شهریور ۱۳۹۹ ۱۲:۰۰ ب.ظ
آخرین ارسال: Xialu
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۸,۳۲۳ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  مشکل عدم ایجاد پروژه/فایل جدید در نت بینز αɾια ۳ ۱۰,۸۶۵ ۲۰ اردیبهشت ۱۳۹۸ ۰۳:۳۴ ب.ظ
آخرین ارسال: Silver1992
Question مشکل با درک توابع دنباله دار و مولد ؟؟؟؟ radar ۰ ۲,۴۸۷ ۱۶ دى ۱۳۹۷ ۰۴:۳۶ ب.ظ
آخرین ارسال: radar
  گرامر مستقل از متن Sanazzz ۴ ۴,۸۶۸ ۱۲ دى ۱۳۹۷ ۰۹:۵۹ ب.ظ
آخرین ارسال: Sanazzz

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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