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

مثال ۴ -۱۶ کتاب شاپوری صفحه ۱۸۸ ( تعیین منظم و یا نامنظم بودن یک زبان)

ارسال:
  

jionelmessi پرسیده:

مثال ۴ -۱۶ کتاب شاپوری صفحه ۱۸۸ ( تعیین منظم و یا نامنظم بودن یک زبان)

با سلام به دوستان
من یک سوالی برام پیش امده اونم اینه که اقای شاپوری برای زبان L2 مثلا گفتا اگر w رو مساوی لاندا بگیریم زبان میشه منظم خب سوال برای من اینا که اگ نگیریم چی اونقت نیاز به حافظه کمکی برای تشخیص وارون رشته هس دگ و پس زبان نامنظم میشه
پس چرا میگن منظمه لطفا یه توضیح بدین من از ابهام در بیام با تشکر

[تصویر:  421021_5u1g_20160907_155137.jpg]
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Pure Liveliness پاسخ داده:

RE: مثال ۴ -۱۶ کتاب شاپوری صفحه ۱۸۸ ( تعیین منظم و یا نامنظم بودن یک زبان)

سلام.
اولا این مسئله توی خیلی از سوالا وجود داره که برای اثبات منظم بودن یک زبان باید متغیر رو لامبدا گرفت وقتی یه متغیر و معکوسش کنار هم هست( این مسئله عمومیت نداره لزوماََ)
خب زبانی که معرفی شده رو اگه بتونیم براش یه DFA یا NFA بکشیم میشه منظم.
الان مشکل اینه که یه رشته و معکوسش باید توی جملات باشه، اما طبق تعریف تمام این متغیر ها میتونن لامبدا باشن. حالا اگه w و reverse ش رو برابر لامبدا بگیریم، بازم همون زبانه، چون میشه u که بازم تعریف همون زبان L2هست، منتهی از شر نگه داری رشته و معکوسش خلاص شدیم. الان میتونیم یه state داشته باشیم که final هست و با a و b به خودش میره یعنی یه ماشین قطعی متناهی داریم و زبان منظم هست.
الان شاید سوال این باشه که پس با این تعریف، اون رشته هایی که آخرشون wو بعد w reverse هست حذف شدند از زبان. خیر الان u همون رشته ها رو هم می سازه و باز میتونه رشته هایی بسازه که انتهای رشته یه زیررشته ای اومده و بعد reverseش. L2 مجموعه ی مرجع هست.
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

Jooybari پاسخ داده:

RE: مثال ۴ -۱۶ کتاب شاپوری صفحه ۱۸۸ ( تعیین منظم و یا نامنظم بودن یک زبان)

سلام. وقت بخیر.
قبول دارید اگه w رو برابر لاندا بگیریم و در معادله قرار بدیم به زیرمجموعه‌ای از این رشته‌ها میرسیم؟ حالا این زیرمجموعه رو محاسبه میکنیم و میبینیم این زیرمجموعه برابر با مجموعه مرجع یعنی سیکمااستار شده. با توجه به اینکه زیرمجموعه‌ای از رشته‌های یک زبان برابر مجموعه مرجع شده پس اون زبان با مجموعه مرجع برابره. اینکه از کجا متوجه بشیم که باید لاندا رو برای w درنظر بگیریم یه بحث دیگست که فقط باید با حل مثالها به این نتیجه برسید.
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  سوال در مورد صفحه بندی در سیستم عامل Azadam ۱ ۱,۴۹۳ ۱۳ دى ۱۴۰۰ ۱۱:۰۴ ق.ظ
آخرین ارسال: Azadam
  کدام زبان برای هوش مصنوعی بهتر است؟ فرق بین زبان های هوش مصنوعی چیست؟ azam2075 ۳ ۵,۳۸۴ ۱۴ مهر ۱۴۰۰ ۰۷:۲۱ ب.ظ
آخرین ارسال: علیصا
  درخواست اپلود کتاب یا لینک دانلود کتاب+معرفی سایت دانلود کتاب ریحانه ۱۲۹ ۷۶,۶۲۱ ۱۱ آذر ۱۳۹۹ ۰۸:۳۷ ب.ظ
آخرین ارسال: Ariana2020
  صفحه چند سطحی Flash1 ۰ ۱,۵۵۲ ۱۰ تیر ۱۳۹۹ ۰۵:۵۸ ب.ظ
آخرین ارسال: Flash1
  خرید کتاب زبان اصلی آموزش برنامه نویسی جاوا moslem73421 ۶ ۵,۳۱۴ ۱۴ فروردین ۱۳۹۹ ۰۹:۰۶ ب.ظ
آخرین ارسال: marvelous
  مطالعه کتاب زبان اصلی saharitst ۲ ۲,۳۷۱ ۱۱ اسفند ۱۳۹۸ ۱۱:۳۸ ب.ظ
آخرین ارسال: saharitst
  اثبات بومی بودن sirvan.t ۸ ۵,۰۹۹ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  هیتلر بودن یا نبودن marvelous ۲ ۲,۴۶۸ ۰۴ مهر ۱۳۹۸ ۰۱:۴۱ ق.ظ
آخرین ارسال: marvelous
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۲,۵۹۰ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  فروش کتاب زبان ارشد دکتر خلیلی somaye1372 ۰ ۱,۶۸۳ ۲۵ خرداد ۱۳۹۸ ۰۷:۵۶ ب.ظ
آخرین ارسال: somaye1372

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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