این:

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

رابطه کاملا درستی هست.

فرض کنید {لاندا}=L،حالا ال استار و ال اپلاس رو جداگانه حساب کنید سپس از ال استار لاندا رو حذف کنید
آیا ال جدید(=ال استاری که لاندا رو ازش حذف کردی) با ال پلاس برابره؟خیر.

(۰۹ آبان ۱۳۹۲ ۰۸:۲۴ ب.ظ)pooyaa نوشته شده توسط:  این:

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

رابطه کاملا درستی هست.

فرض کنید {لاندا}=L،حالا ال استار و ال اپلاس رو جداگانه حساب کنید سپس از ال استار لاندا رو حذف کنید
آیا ال جدید(=ال استاری که لاندا رو ازش حذف کردی) با ال پلاس برابره؟خیر.

دوستان توجه فرمایید
[tex]L^{*} = L^{0} L^{1} L^{2} ...[/tex]

[tex]L^{ } = L^{1} L^{2} ...[/tex]

[tex]L^{0} =\left \{ \lambda \right \}[/tex]

و واضح و مبرهن است که
[tex]L^{ } = L^{*} - \left \{ \lambda \right \}[/tex]

خیر-این رابطه بصورت کلی درسته چون ممکنه لاندا عضو زبان باشه

ای خدااااااااااااااااااااااااااااااااااااااا
من مثال نقض آوردم واستون شما باز میگید نه؟!!!

(۰۹ آبان ۱۳۹۲ ۰۸:۳۵ ب.ظ)pooyaa نوشته شده توسط:  ای خدااااااااااااااااااااااااااااااااااااااا
من مثال نقض آوردم واستون شما باز میگید نه؟!!!

pooya جان
من رابطه کلی را گفتم

و اما مثال شما
[tex]L = \left \{ \lambda \right \}[/tex]
و
[tex]L^{ } = L^{1} L^{2} ... = \phi[/tex]

یعنی پلاسش میشه اجتماع رشته های زبان که تهی میشه

[tex]L^{*} = L^{0} L^{1} ... = \left \{ \lambda \right \}[/tex]
استارش میشه اجتماع رشته های با طول صفر و بیشتر

حالا شما تفریق انجام بده ببین چی میشه؟

(۰۹ آبان ۱۳۹۲ ۰۹:۵۳ ب.ظ)zimenswall نوشته شده توسط:  

(09 آبان ۱۳۹۲ ۰۸:۳۵ ب.ظ)pooyaa نوشته شده توسط:  ای خدااااااااااااااااااااااااااااااااااااااا
من مثال نقض آوردم واستون شما باز میگید نه؟!!!

pooya جان
من رابطه کلی را گفتم

و اما مثال شما
[tex]L = \left \{ \lambda \right \}[/tex]
و
[tex]L^{ } = L^{1} L^{2} ... = \phi[/tex]

یعنی پلاسش میشه اجتماع رشته های زبان با طول یک و بیشتر که تهی میشه

[tex]L^{*} = L^{0} L^{1} ... = \left \{ \lambda \right \}[/tex]
استارش میشه اجتماع رشته های با طول صفر و بیشتر

حالا شما تفریق انجام بده ببین چی میشه؟

اشتباه کردی:
لانداپلاس که نمیشه تهی،میشه لاندا

(۰۹ آبان ۱۳۹۲ ۱۰:۲۸ ب.ظ)pooyaa نوشته شده توسط:  

(09 آبان ۱۳۹۲ ۰۹:۵۳ ب.ظ)zimenswall نوشته شده توسط:  

(09 آبان ۱۳۹۲ ۰۸:۳۵ ب.ظ)pooyaa نوشته شده توسط:  ای خدااااااااااااااااااااااااااااااااااااااا
من مثال نقض آوردم واستون شما باز میگید نه؟!!!

pooya جان
من رابطه کلی را گفتم

و اما مثال شما
[tex]L = \left \{ \lambda \right \}[/tex]
و
[tex]L^{ } = L^{1} L^{2} ... = \phi[/tex]

یعنی پلاسش میشه اجتماع رشته های زبان با طول یک و بیشتر که تهی میشه

[tex]L^{*} = L^{0} L^{1} ... = \left \{ \lambda \right \}[/tex]
استارش میشه اجتماع رشته های با طول صفر و بیشتر

حالا شما تفریق انجام بده ببین چی میشه؟

اشتباه کردی:
لانداپلاس که نمیشه تهی،میشه لاندا

درست میفرمایید. بنده اشتباه کردم.
من به اشتباه این قانون را با اینی که توی این موضوع بود اشتباه گرفتم
[tex]\sum ^{ } = \sum ^{*} - \left \{ \lambda \right \}[/tex]

آدم بی دقت به من میگن. بعد توقع دارم کنکور قبول بشم.

ممنون آقا پویا
پس باید بگیم واسه سیگما یا کلا برای یک مجموعه ای از الفبا این قانون درست هست [tex]\sum ^{ }=\sum ^{*}-\lambda[/tex]
دلیلش هم این هست که لامبدا جز الفبای سیگما نیست پس نمیتونیم این مثالی که شما گفتین رو واسش بزنیم.
ولی برای یک زبان این قانون صدق نمیکنه.

به نظر دوستان این اشتباهه؟

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

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

اینها شاید کمکت کنه

[tex]w^{0} = \lambda[/tex]
یعنی لاندا رشته ای به طول صفره

[tex]L^{0} = \left \{ \lambda \right \}[/tex]
مجموعه ای که فقط لاندا باشه یعنی زبان مورد نظر به توان صفر

اون چیزی که شما در گزینه سوم نوشتید اشتباهه.
[tex]L^{ } =L^{*} - \left \{ \lambda \right \}[/tex]
این بالایی درسته

و [tex]\phi[/tex] هم دقیق نمیدونم ولی فکر کنم مجموعه زبان شامل هیچ عضو هست. یعنی زبان تهی.
و به تعریفی دیگه میشه گفت وقتی زبانی که هیچی را نپذیره. در صورتی که [tex]L^{0} = \left \{ \lambda \right \}[/tex] فقط رشته صفر را میپذیره.
تهی مثل صفر در ضرب اعداد میمونه که وقتی با زبانی الحاق بشه، جواب تهی میشه

برای اینکه فرق بین تهی و لاندا را هم متوجه بشید میتونید به dfa آنها هم توجه کنید.
در لاندا حالت شروع، حالت پایانی هست و دیگه هیچ حالتی در ماشین نداریم.
ولی در تهی حالت شروع حالت غیرپایانی و از این حالت به هیچ حالت دیگه ای وصل نیستیم. اگر بتونی در کتابی شکلها رو ببینی بهتر متوجه میشی

(۰۹ آبان ۱۳۹۲ ۰۳:۰۵ ب.ظ)zimenswall نوشته شده توسط:  من در دو تا کتاب دیدم ، اینو نوشته یعنی مساوی میشه.
[tex]L^{ } =L^{*} - \left \{ \lambda \right \}[/tex]