۰
subtitle
ارسال: #۱
یک سوال از نظریه زبان ها(اعمال روی زبانها)
اینو کسی میتونه توضیحش بده؟؟؟
[tex]L1(L2\cap L3)\neq L1L2\cap L1L3[/tex]
[tex]L1(L2\cap L3)\neq L1L2\cap L1L3[/tex]
۱
ارسال: #۲
RE: نظریه زبان ها(اعمال روی زبان)
(۱۱ مهر ۱۳۹۱ ۰۹:۴۲ ب.ظ)ati314 نوشته شده توسط: اینو کسی میتونه توضیحش بده؟؟؟
[tex]L1(L2\cap L3)\neq L1L2\cap L1L3[/tex]
سلام.
مثال میزنم:
L1 = a,ab
L2 = a,aa,b
L3 = a,b
بخش سمت چپ
----------------------------------
۱ - اشتراک L2 با L3 برابر = a,b
۲ - الحاق L1 با نتیجه بدست آمده تو قسمت قبل برابر = aa,ab,aba,abb
نتیجه :aa,ab,aba,abb
بخش سمت راست
----------------------------------
۱ - الحاق L1 با L2 که برابر = aa,aaa,ab,aba,abaa,abb
۲ - الحاق L1 با L3 که برابر = aa,ab,aba,abb
۳ - اشتراک دوقسمت قبلی = aa,ab,abb,aba
نتیجه :aa,ab,aba,abb
---------------------------------------------------------------------------------
منم تو کتاب پوران اون نامساوی رو دیدم، چندتا مثال دیگه رو هم حل کردم اما همشون مساوی می شدن. کم کم به دانش خودم داره شکم میگیره
(۱۱ مهر ۱۳۹۱ ۱۰:۲۹ ب.ظ)fatima1537 نوشته شده توسط: به نظر من مساوی نیستند چون اگر فرض کنیم مجموعه L1 شامل {a}مجموعه L2 شامل {۱و۲و۳} و مجموعه L3 شامل {۱و۲و۴} باشه آنگاه طرف سمت چپ به شکل زیر خواهد بود:
[tex]L2\bigcap L3={1,2} \ L1\cdot (L2\bigcap L3)=(a,1),(a,2)[/tex]
وسمت راست هم برابر مجموعه زیر:
[tex]L1. L2=a1 \ L1.L3=a2 \ L1\bigcap L2=\phi \ \Rightarrow L1.L2\bigcap L1.L3\neq L1.(L2\bigcap L3))[/tex]
سلام.
اما الحاق L1 با L2 (یعنی همون سمت راست مثال شما) میشه : a1,a2,a3
و الحاق L1 با L3 میشه :a1,a2,a4
که اشتراکشون میشه :a1,a2
که این میشه همون قسمت سمت چپ.
۱
ارسال: #۳
نظریه زبان ها(اعمال روی زبان)
سلام. در نظر میگیریم:
پس نتیجه میگیریم:
ولی بنظرم اگه توی رابطه بجای اشتراک از اجتماع استفاده بشه دوطرف برابر میشن. توی اشتراک امکان داره از الحاق زبان اول با دو زبان بعدی یک سری رشته هایی مشابه مثال بالا بوجود بیاد که رابطه رو نقض کنه.
[tex]L_1=\{a,ab\}[/tex]
[tex]L_2=\{b\}[/tex]
[tex]L_3=\{bb\}[/tex]
[tex]L_2\cap L_3=\{\}[/tex]
[tex]L_1L_2=\{ab,abb\}[/tex]
[tex]L_1L_3=\{abb,abbb\}[/tex]
[tex]L_1(L_2\cap L_3)=\{\}[/tex]
[tex]L_1L_2 \cap L_1L_3=\{abb\}[/tex]
[tex]L_2=\{b\}[/tex]
[tex]L_3=\{bb\}[/tex]
[tex]L_2\cap L_3=\{\}[/tex]
[tex]L_1L_2=\{ab,abb\}[/tex]
[tex]L_1L_3=\{abb,abbb\}[/tex]
[tex]L_1(L_2\cap L_3)=\{\}[/tex]
[tex]L_1L_2 \cap L_1L_3=\{abb\}[/tex]
پس نتیجه میگیریم:
[tex]L_1(L_2\cap L_3)\neq L_1L_2 \cap L_1L_3[/tex]
ولی بنظرم اگه توی رابطه بجای اشتراک از اجتماع استفاده بشه دوطرف برابر میشن. توی اشتراک امکان داره از الحاق زبان اول با دو زبان بعدی یک سری رشته هایی مشابه مثال بالا بوجود بیاد که رابطه رو نقض کنه.
ارسال: #۴
RE: نظریه زبان ها(اعمال روی زبان)
(۱۲ مهر ۱۳۹۱ ۰۹:۳۷ ب.ظ)Jooybari نوشته شده توسط: سلام. در نظر میگیریم:
[tex]L_1=\{a,ab\}[/tex]
[tex]L_2=\{b\}[/tex]
[tex]L_3=\{bb\}[/tex]
[tex]L_2\cap L_3=\{\}[/tex]
[tex]L_1L_2=\{ab,abb\}[/tex]
[tex]L_1L_3=\{abb,abbb\}[/tex]
[tex]L_1(L_2\cap L_3)=\{\}[/tex]
[tex]L_1L_2 \cap L_1L_3=\{abb\}[/tex]
پس نتیجه میگیریم:
[tex]L_1(L_2\cap L_3)\neq L_1L_2 \cap L_1L_3[/tex]
سلام دوست عزیز.
اولا کلی به اون پاسخ کامل خوشنود و دلشاد بودم که پاکش کردی
شوخی کردم. ممنون بابت جواب.اما سوال عجیبیه، یعنی در خیلی از موارد مساوی و در خیلی دیگه نامساویه. پست من که مساوی شدن!!
بنظرم که اون نامساوی درحالت کلیه، چون مثلا اگه همون مثال آقای جویباری از L1 عنصر a رو حذف کنیم، باز تبدیل به مساوی میشه. پس چون برخی حالات مساوی و برخی دیگه نامساویه، درحالت کلی نامساوی رو بکار برده.
ارسال: #۵
RE: نظریه زبان ها(اعمال روی زبان)
(۱۲ مهر ۱۳۹۱ ۰۹:۳۷ ب.ظ)Jooybari نوشته شده توسط: سلام. در نظر میگیریم:البته عمل الحاق [tex]L_1(L_2\cap L_3)=\{\}[/tex] نمیشه تهی اما خوب اثباتش زمانبره
[tex]L_1=\{a,ab\}[/tex]
[tex]L_2=\{b\}[/tex]
[tex]L_3=\{bb\}[/tex]
[tex]L_2\cap L_3=\{\}[/tex]
[tex]L_1L_2=\{ab,abb\}[/tex]
[tex]L_1L_3=\{abb,abbb\}[/tex]
[tex]L_1(L_2\cap L_3)=\{\}[/tex]
[tex]L_1L_2 \cap L_1L_3=\{abb\}[/tex]
پس نتیجه میگیریم:
[tex]L_1(L_2\cap L_3)\neq L_1L_2 \cap L_1L_3[/tex]
ولی بنظرم اگه توی رابطه بجای اشتراک از اجتماع استفاده بشه دوطرف برابر میشن. توی اشتراک امکان داره از الحاق زبان اول با دو زبان بعدی یک سری رشته هایی مشابه مثال بالا بوجود بیاد که رابطه رو نقض کنه.
۰
ارسال: #۶
نظریه زبان ها(اعمال روی زبان)
به نظر من که عبارات سمت چپ و راست مساوی اند .یعنی :
[tex]L1(L2\cap L3)= L1L2\cap L1L3[/tex]
[tex]L1(L2\cap L3)= L1L2\cap L1L3[/tex]
۰
ارسال: #۷
نظریه زبان ها(اعمال روی زبان)
به نظر من مساوی نیستند چون اگر فرض کنیم مجموعه L1 شامل {a}مجموعه L2 شامل {۱و۲و۳} و مجموعه L3 شامل {۱و۲و۴} باشه آنگاه طرف سمت چپ به شکل زیر خواهد بود:
[tex]L2\bigcap L3={1,2} \ L1\cdot (L2\bigcap L3)=(a,1),(a,2)[/tex]
وسمت راست هم برابر مجموعه زیر:
[tex]L1. L2=a1 \ L1.L3=a2 \ L1\bigcap L2=\phi \ \Rightarrow L1.L2\bigcap L1.L3\neq L1.(L2\bigcap L3))[/tex]
[tex]L2\bigcap L3={1,2} \ L1\cdot (L2\bigcap L3)=(a,1),(a,2)[/tex]
وسمت راست هم برابر مجموعه زیر:
[tex]L1. L2=a1 \ L1.L3=a2 \ L1\bigcap L2=\phi \ \Rightarrow L1.L2\bigcap L1.L3\neq L1.(L2\bigcap L3))[/tex]
ارسال: #۸
RE: نظریه زبان ها(اعمال روی زبان)
(۱۱ مهر ۱۳۹۱ ۱۰:۲۹ ب.ظ)fatima1537 نوشته شده توسط: به نظر من مساوی نیستند چون اگر فرض کنیم مجموعه L1 شامل {a}مجموعه L2 شامل {۱و۲و۳} و مجموعه L3 شامل {۱و۲و۴} باشه آنگاه طرف سمت چپ به شکل زیر خواهد بود:عمل الحاق رو اشتباه انجام دادید .آخه چرا نامساوی چه دلیلی داره . به نظرم که مساوی هستش حالا اول اشتراک بعد الحاق یا اول الحاق بعد اشتراک فرقی نداره . حالا کتاب پوران اشتباه چاپی داره .
[tex]L2\bigcap L3={1,2} \ L1\cdot (L2\bigcap L3)=(a,1),(a,2)[/tex]
وسمت راست هم برابر مجموعه زیر:
[tex]L1. L2=a1 \ L1.L3=a2 \ L1\bigcap L2=\phi \ \Rightarrow L1.L2\bigcap L1.L3\neq L1.(L2\bigcap L3))[/tex]
۰
ارسال: #۹
نظریه زبان ها(اعمال روی زبان)
(۱۱ مهر ۱۳۹۱ ۱۰:۲۹ ب.ظ)fatima1537 نوشته شده توسط: به نظر من مساوی نیستند چون اگر فرض کنیم مجموعه L1 شامل {a}مجموعه L2 شامل {۱و۲و۳} و مجموعه L3 شامل {۱و۲و۴} باشه آنگاه طرف سمت چپ به شکل زیر خواهد بود:من این بخش را اصلاح میکنم(جوابی که قبلا دادم اشتباه بوده)
[tex]L2\bigcap L3={1,2} \ L1\cdot (L2\bigcap L3)=(a1),(a2)[/tex]
وسمت راست هم برابر مجموعه زیر:
[tex]L1. L2=a1 \ L1.L3=a2 \ L1\bigcap L2=\phi \ \Rightarrow L1.L2\bigcap L1.L3\neq L1.(L2\bigcap L3))[/tex]
[tex]L1. L2=a1,a2,a3 \ L1.L3=a1,a2,a4 \ L1\bigcap L2=a1,a2 \ \Rightarrow L1.L2\bigcap L1.L3= L1.(L2\bigcap L3))[/tex]
پس با هم مساوی اند
۰
۰
ارسال: #۱۱
نظریه زبان ها(اعمال روی زبان)
سلام
به نظر من بهترین راه استفاده از مثال در ذهن است.
ما ۲ تا مجموعه داریم که بفرض چند تا عضو اونا مشترکن.حالا این چند تا عضو مشترک چه با همین حالت و چه با حالتی که به ابتدای هر کدومشون چند حرف الفبا بچسبه با هم مشترک اند!
پس علامت تساوی درست است.
به نظر من بهترین راه استفاده از مثال در ذهن است.
ما ۲ تا مجموعه داریم که بفرض چند تا عضو اونا مشترکن.حالا این چند تا عضو مشترک چه با همین حالت و چه با حالتی که به ابتدای هر کدومشون چند حرف الفبا بچسبه با هم مشترک اند!
پس علامت تساوی درست است.
۰
ارسال: #۱۲
نظریه زبان ها(اعمال روی زبان)
پاسخ کامل ارسال سومو من زده بودم. زیاد روش دقت نکرده بودم ولی چون دیدم مثال نقضه و ثابت میکنه دوطرف مساوی نیست انتخابش کردم. ارسال شمارو من پاسخ کامل نزده بودم. دیدم پاسخ کامل خورده و مشکل داره برای همین پاسخ کاملشو ریست کردم.
۰
ارسال: #۱۳
نظریه زبان ها(اعمال روی زبان)
پس میشه گفت برای این جور تساوی های (که از اعمال مجموعه ها روی زبانها بوجود میاد) کافیه که مثال نقض بیاریم؟
ولی از طرفی پیدا کردن مثال نقض در بعضی موارد خیلی وقتگیر خواهد شد
ولی از طرفی پیدا کردن مثال نقض در بعضی موارد خیلی وقتگیر خواهد شد
۰
ارسال: #۱۴
نظریه زبان ها(اعمال روی زبان)
توی مثالی که زدم میشه. یه مثال نقض برای نقض ارزش کلی عبارت آوردم. لزوماً به ازای هردو زبان تهی نیست ولی خوب برابر هم نیست با مقدار سمت دیگه نامساوی.
۰
ارسال: #۱۵
نظریه زبان ها(اعمال روی زبان)
سلام
خدا قوت
من تازه نظریه رو شروع کردم:دی
فصل اول پارسه برای مقایسه ی ماسین پشته ای و تورینگ برای تورینگ گفته لازم نیست تا آخر رشته بخونه پس چطوری می فهمه این رشته داخل زبان هست یا نه
با تشکر
خدا قوت
من تازه نظریه رو شروع کردم:دی
فصل اول پارسه برای مقایسه ی ماسین پشته ای و تورینگ برای تورینگ گفته لازم نیست تا آخر رشته بخونه پس چطوری می فهمه این رشته داخل زبان هست یا نه
با تشکر
۰
ارسال: #۱۶
نظریه زبان ها(اعمال روی زبان)
(۱۴ مهر ۱۳۹۱ ۱۱:۱۹ ق.ظ)mahsa.tsi نوشته شده توسط: سلاماین تاپیک فقط برای سئوال درمورد "اعمال روی زبان " هست.اگر سئوالی از بخشهای دیگر نظریه دارید توی یک تاپیک جدید دیگه یا تاپیک مرتبط با موضوع دلخواهتون بپرسید بهتره.
خدا قوت
من تازه نظریه رو شروع کردم:دی
فصل اول پارسه برای مقایسه ی ماسین پشته ای و تورینگ برای تورینگ گفته لازم نیست تا آخر رشته بخونه پس چطوری می فهمه این رشته داخل زبان هست یا نه
با تشکر
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close