تالار گفتمان مانشت
چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - نسخه‌ی قابل چاپ

چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - s_t_6 - 12 مرداد ۱۳۹۳ ۰۳:۵۷ ب.ظ

سلام
آیا عبارت *۱*۰ یک عبارت منظم نیست ؟
آیا این عبارت منظم زبان فوق را نمی سازد ؟
آیا اگر زبانی توسط عبارتی منظم ایجاد شود پس قاعادتا منظم نیست؟
تشکر

RE: چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - Morris - 12 مرداد ۱۳۹۳ ۰۷:۳۹ ب.ظ

پاسخ سوال اول : این یک عبارت منظم است.
پاسخ سوال دوم : خیر. این عبارت منظم توصیف کننده زبان بیان شده نمی باشد. علت این موضوع این است که زبان بیان شده تنها شامل رشته هایی است که تعداد ۰ ها و ۱ ها با هم برابر باشند ولی عبارت منظم بیان شده زبانی را توصیف می کند که می تواند به طور مثال رشته ۰۰۰۱ را نیز داشته باشد در حالی که این رشته در زبان بیان شده وجود ندارد.
پاسخ سوال سوم : اگر زبانی را بتوان توسط عبارتهای منظم توصیف نمود آن زبان منظم است.

RE: چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - fatemeh69 - 12 مرداد ۱۳۹۳ ۰۷:۵۵ ب.ظ

سلام
در این عبارت منظم شما زبان فوق را نمی سازد به این دلیل که یه قیدی در زبان هست که شما اونو تو عبارت منظمتون نداربد
اونم این که تو زبان دو رشته ی قبل و بعد از یک حتما باید با هم برابر باشند
ولی در عبارت مظم شما استار به این معنات که هر چه خواست بگذارد و لزوی ندارد که دو استار موجود در عبارت منظم دو رشته ی یکسان تولید کنند.
ژس عبارت منظم شما زبانی بزرگتر از زبان داده شده تولید می کند یعنی رشته هایی دارد که در زبان داده شده موجود نیست.

RE: چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - gholamreza jalili - 12 مرداد ۱۳۹۳ ۱۱:۰۰ ب.ظ

جواب اسون این سوال چون می توام ماشین منظم براش کشید پس منظمه

RE: چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - fatemeh69 - 14 مرداد ۱۳۹۳ ۰۶:۳۲ ب.ظ

(۱۲ مرداد ۱۳۹۳ ۱۱:۰۰ ب.ظ)gholamreza jalili نوشته شده توسط:  جواب اسون این سوال چون می توام ماشین منظم براش کشید پس منظمه
خیر نمی شه برای زبان ۰n1n ماشین منظم کشید چون نیاز به حافظه بی نهایت داره به نظرم این زبان حساس به متنه

RE: چرا زبان {۰n1n | n>=0} منظم نیست !!؟ - afshari - 23 شهریور ۱۳۹۳ ۰۹:۰۵ ق.ظ

سلام
این زبان منظم نیست چون حافظه میخواد که تعداد ۰ رو نگهداره و بعد با ۱ ها تطبیق بده(کلا هر وقت زبان نامحدود بود و یا به حافظه نیاز داشتیم، زبان منظم نیست). این زبان مستقل از متن هست.
با لم تزریق می تونیم ثابت کنیم.
آسون ترین زبان مستقل از متن برای لم تزریق همین زبان هست.