(۱۸ دى ۱۳۹۲ ۰۱:۴۵ ق.ظ)Jooybari نوشته شده توسط:  سلام. این زبان منظمه و برابر سیکمااستاره. برای هر رشته میتونید یه مرز مشخص کنید که تعداد aهای سمت چپ مرز با تعداد bهای سمت راست مرز برابر باشه. اگه مقدار $n_a(W_1)-n_b(W_2)$ رو به ازای طولهای مختلف $W_1$ از ۰ تا طول کل رشته محاسبه کنید متوجه میشید که به ازای یک طول از این زیررشته، مقدار تفاضل برابر صفر میشه.
موفق باشید.

(۱۸ دى ۱۳۹۲ ۱۲:۲۰ ق.ظ)masoud67 نوشته شده توسط:  سلام آیا این زبان منظمه و چرا؟
$L=\left \{ W_{1}W_{2} | W_{1}W_{2}\in \left \{ a,b \right \}^* , n_{a}(W_{1}) = n_{b}(W_{2}) \right \}$

(۱۸ دى ۱۳۹۲ ۱۲:۴۹ ق.ظ)hosshah نوشته شده توسط:  این زبان هم به نظر من منظم نیست چون شما باید تعداد a ها رو بدونید تا بتونید با تعداد b ها مقایسه کنید و اگر بخواید با دیاگرام DFA پیاده سازی کنید مطئننا نیاز به بی نهایت State خواهیم داشت و بنابراین منظم نیست

(۱۸ دى ۱۳۹۲ ۱۲:۴۹ ق.ظ)hosshah نوشته شده توسط:  

(18 دى ۱۳۹۲ ۱۲:۲۰ ق.ظ)masoud67 نوشته شده توسط:  سلام آیا این زبان منظمه و چرا؟
$L=\left \{ W_{1}W_{2} | W_{1}W_{2}\in \left \{ a,b \right \}^* , n_{a}(W_{1}) = n_{b}(W_{2}) \right \}$

برای اینکه ببینید یه زبانی منظم هست یا نه باید بفهمید که آیا این زبان حافظه میخواد یا نه
این زبان هم به نظر من منظم نیست چون شما باید تعداد a ها رو بدونید تا بتونید با تعداد b ها مقایسه کنید و اگر بخواید با دیاگرام DFA پیاده سازی کنید مطئننا نیاز به بی نهایت State خواهیم داشت و بنابراین منظم نیست

(۱۸ دى ۱۳۹۲ ۰۳:۵۸ ق.ظ)misagh01 نوشته شده توسط:  

(18 دى ۱۳۹۲ ۱۲:۴۹ ق.ظ)hosshah نوشته شده توسط:  

(18 دى ۱۳۹۲ ۱۲:۲۰ ق.ظ)masoud67 نوشته شده توسط:  سلام آیا این زبان منظمه و چرا؟
$L=\left \{ W_{1}W_{2} | W_{1}W_{2}\in \left \{ a,b \right \}^* , n_{a}(W_{1}) = n_{b}(W_{2}) \right \}$

برای اینکه ببینید یه زبانی منظم هست یا نه باید بفهمید که آیا این زبان حافظه میخواد یا نه
این زبان هم به نظر من منظم نیست چون شما باید تعداد a ها رو بدونید تا بتونید با تعداد b ها مقایسه کنید و اگر بخواید با دیاگرام DFA پیاده سازی کنید مطئننا نیاز به بی نهایت State خواهیم داشت و بنابراین منظم نیست

سلام
منظم هست چون اگز a های w1 با b های w2 برابر باشه این به این معنی نیست که تعداد a ها و b های w1w2 با هم برابره چون مثلا w1 میتونه به هر تعداد b داشته باشه یا همینطور w2 میتونه به هر تعداد a داشته باشه که میشه همون سیکما استار پس منظمه.

(۱۸ دى ۱۳۹۲ ۰۱:۱۰ ب.ظ)maryam.raz نوشته شده توسط:  یعنی ما خودمون مرز بین دو زبان رو جایی در نظر میگیریم که aهای سمت راست با b های سمت چپ برابر باشه
درست میگم؟

(۱۸ دى ۱۳۹۲ ۰۳:۰۴ ب.ظ)Jooybari نوشته شده توسط:  

(18 دى ۱۳۹۲ ۰۱:۱۰ ب.ظ)maryam.raz نوشته شده توسط:  یعنی ما خودمون مرز بین دو زبان رو جایی در نظر میگیریم که aهای سمت راست با b های سمت چپ برابر باشه
درست میگم؟

میشه گفت درسته. درواقع به ازای هر رشته یک مرز وجود داره.

(۱۸ دى ۱۳۹۲ ۰۴:۳۰ ب.ظ)maryam.raz نوشته شده توسط:  

(18 دى ۱۳۹۲ ۰۳:۰۴ ب.ظ)Jooybari نوشته شده توسط:  

(18 دى ۱۳۹۲ ۰۱:۱۰ ب.ظ)maryam.raz نوشته شده توسط:  یعنی ما خودمون مرز بین دو زبان رو جایی در نظر میگیریم که aهای سمت راست با b های سمت چپ برابر باشه
درست میگم؟

میشه گفت درسته. درواقع به ازای هر رشته یک مرز وجود داره.

ممنونم منظورم رشته بودم اشتباهی نوشتم زبان

(۲۲ دى ۱۳۹۲ ۰۱:۳۹ ق.ظ)El@he نوشته شده توسط:  مگه سیگما استار a و b، هر ترکیبی از a و b نمیشه؟ پس با این حساب رشته ی aaab هم توی سیگما استار هست که خب هیچ مرزی نمیشه واسش مشخص کرد... چجوری میشه؟ درست متوجه نشدم؟

(۲۲ دى ۱۳۹۲ ۰۱:۴۲ ق.ظ)masoud67 نوشته شده توسط:  

(22 دى ۱۳۹۲ ۰۱:۳۹ ق.ظ)El@he نوشته شده توسط:  مگه سیگما استار a و b، هر ترکیبی از a و b نمیشه؟ پس با این حساب رشته ی aaab هم توی سیگما استار هست که خب هیچ مرزی نمیشه واسش مشخص کرد... چجوری میشه؟ درست متوجه نشدم؟

w1 = a
w2 = aab
کلا هر رشته ای باشه میشه یه مرزی واسه اون پیدا کرد. فقط حواستون باشه که w1 و w2 طول برابر ندارند بلکه فقط شرط کاراکتر a و b مساوی دارند

(۲۲ دى ۱۳۹۲ ۰۷:۳۹ ب.ظ)ali.329 نوشته شده توسط:  میشه dfa رسم کنید؟
w1=aab
w2=bbbb
این رشته جزو زیگما استاره اما جزو زبان نیست.درسته؟

(۲۲ دى ۱۳۹۲ ۰۷:۳۹ ب.ظ)ali.329 نوشته شده توسط:  میشه dfa رسم کنید؟
w1=aab
w2=bbbb
این رشته جزو زیگما استاره اما جزو زبان نیست.درسته؟