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

مفاهیم هومومورفیسم و خارج قسمت راست

ارسال:
  

nobody90 پرسیده:

مفاهیم هومومورفیسم و خارج قسمت راست

سلام
دوستان کسی میتونه این دو تا موضوع رو برام توضیح بده؟
بیشتر خارج قسمت راست رو متوجه نشدم.
توی کتاب لینز دو تا مثال زد متوجه نشدم.
نقل قول این ارسال در یک پاسخ

۲
ارسال:
  

Pure Liveliness پاسخ داده:

RE: مفاهیم هومومورفیسم و خارج قسمت راست

هومومورفیسم:
هومومورفیستم در واقع یه تابع هست که الفبای یک زبان رو نگاشت میکنه به یه الفبا یا رشته ی دیگه. یعنی به جای هر کدوم از الفبای یک رشته از یک زبان، یک الفبای دیگه، یا حتی یک رشته قرار داده میشه. در نتیجه رشته های جدید حاصل میشه.
H: گاما* <- سیگما
دامنه ی تابع هومومورفیسم سیگما یعنی همون الفبای زبان هست.
برد تابع هومومورفیسم گاما* هست. یعنی الفبایی که هر حرفِ رشته ی زبان L، به یک یا چند تا از این الفبا نگاشت میشه.
[tex]H(L)=\{H(w)|\: w\in L\}[/tex]
مثال: زبان L و تابع هومومورفیسم H رو در نظر بگیرید.
L={ab, abb, b}A
{x,y}=گاما* (الفبای تابع هومومورفیسم) و
xy = H(a)v یعنی توی رشته های زبان L، به جای a، قرار بده xy.
x = H(b)b یعنی توی رشته های زبان L، به جای b، قرار بده x.
حالا: H(L)A برای این زبان چی میشه؟
H(L)={xyx,xyxx,x}A
یعنی اومدیم توی رشته های زبان L، به جای a، قرار دادیم xy و به جای b، قرار دادیم y
*خانواده ی زبان های منظم تحت عملگر هومومورفیسم بسته است. چرا؟ چون کافیه واسه منظم بودن زبان بشه واسه اون زبان یه DFA کشید. حالا وقتی واسه یه زبانی DFAداریم، وقتی میخوایم ماشین هومومورفیسم یافته ش رو بکشیم، کافیه توی همون DFA به جای هر یال، مقداری که هومورفیسم نگاشت میکنه رو بذاریم، مثلا به جای a بذاریم xy. در نتیجه یه DFA به دست میاد و زبان همچنان منظم هست.
خارج قسمت راست رو هم که دوستمون توضیح دادند.
نقل قول این ارسال در یک پاسخ

۱
ارسال:
  

sabafarhadi پاسخ داده:

RE: مفاهیم هومومورفیسم و خارج قسمت راست

خارج قسمت راست
اگه L1 و L2 دو زبان روی الفبای سیگما باشند، خارج قسمت راست L1 نسبت به L2 به صورت زیر نمایش داده می شود:
[tex]L1/L2=\{x|\: xy\: ∈\: L1\: and\: y\: ∈\: L2\}[/tex]

به طور مثال، اگه L1 برابر {ab,ba} باشه و L2 برابر {aab,baa,baba} باشه، حاصل L2/L1 برابر است با:

[tex]L2/L1=\{a,ba\}[/tex]

اگر متوجه نشدید بگید بیشتر توضیح بدم
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  روابط احساسی خارج از ازدواج مردان متأهل morweb ۶۲ ۳۰,۰۹۵ ۱۰ بهمن ۱۴۰۲ ۰۲:۴۱ ب.ظ
آخرین ارسال: fatemehbiglar
  نسبت راست دو زبان fly2000 ۰ ۱,۱۷۷ ۰۲ آبان ۱۳۹۹ ۰۱:۱۵ ق.ظ
آخرین ارسال: fly2000
  نسبت راست دو زبان fly2000 ۰ ۱,۱۲۱ ۰۲ آبان ۱۳۹۹ ۰۱:۱۴ ق.ظ
آخرین ارسال: fly2000
  نکات کلیدی در چاپ کاتالوگ (قسمت اول) melinaa ۰ ۱,۷۴۶ ۰۴ شهریور ۱۳۹۷ ۱۰:۲۸ ق.ظ
آخرین ارسال: melinaa
  منبع زبانهای برنامه سازی مفاهیم شی گرا m_sardaari ۰ ۱,۵۹۹ ۱۷ اردیبهشت ۱۳۹۷ ۰۱:۰۶ ب.ظ
آخرین ارسال: m_sardaari
  ادامه تحصیل در مقطع دکتری- داخل یا خارج؟ Distance ۱۱ ۸,۰۸۲ ۱۳ اسفند ۱۳۹۶ ۱۲:۱۴ ب.ظ
آخرین ارسال: qaranqush
  چرا افیس ۲۰۱۳ راست چین و چپ چین نداره؟؟؟/ zohre321 ۲ ۲,۰۸۱ ۱۹ تیر ۱۳۹۶ ۰۵:۳۳ ب.ظ
آخرین ارسال: zohre321
  زمان سفر دانشگاه ها خارج از تهران برای برخی انتخاب های شبکه و امنیت از تهران alilash ۱ ۱,۷۹۸ ۱۹ خرداد ۱۳۹۶ ۰۴:۳۴ ب.ظ
آخرین ارسال: *afsoon*
  مفاهیم مقدماتی درباره لینوکس p.parsaee ۲۴ ۱۵,۲۹۵ ۱۵ اردیبهشت ۱۳۹۶ ۱۱:۳۴ ب.ظ
آخرین ارسال: Saman
Rainbow [راستی آزمایی] کارگاه آموزشی تند خوانی و تقویت حافظه alika ۲ ۳,۹۱۰ ۱۰ فروردین ۱۳۹۶ ۱۰:۰۸ ق.ظ
آخرین ارسال: حمید وجکانی

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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