سلام. سوال ۱ و ۲ معادلن. رشته هایی که زیررشته ۰۰ ندارن رو میپذیرن.

[tex](1^*011^*)^*[/tex] رو درنظر بگیرید. میگه مجموعه چندتا(حداقل هیچی) ۰۱ که در فضاهای اطرافشون میتونه ۱ بیاد ولی اگه ۰۱ نداشته باشیم ۱ هم نداریم. یعنی رشته های [tex]\lambda[/tex] و [tex]1^*011^*[/tex] و [tex]1^*011^*011^*[/tex] و ... تفاوتی که این عبارت با [tex](1 01)^*[/tex] داره اینه که رشته اول نمیتونه زیررشته هایی که فقط از ۱ ساخته میشن رو تولید کنه. یعنی یا رشته نال رو تولید میکنه و یا رشته های بدون زیررشته ۰۰ که حداقل یک ۰ دارن. ولی عبارت دوم علاوه بر این دو حالت، میتونه رشته هایی که فقط از ۱ ساخته میشن رو هم تولید کنه. یعنی [tex](1 01)^*=((1^*011^*)^* 1^*)[/tex]. آخر هردو رشته هم مشابهه. یا به نال ختم میشن و یا به ۰/ اگه به نال ختم بشن رشته نهایی حالتیه که رشتمون به ۱ ختم بشه یا نال باشه.

سوال سوم هم تمام رشته هایی که حداقل یک b دارن رو تولید میکنه. رشته های بطول کمتر از ۴ تولید شده میشه همه رشته های بطول حداکثر ۴ که حداقل یک b راشته باشن.

سوال چهار هم منظور از رشته های پیچیده رو نمیفهمم. اگه منظورش همین پرانتزهای پشت سر همه که باید هر پرانتز رشته خودشو مشخص کنه و ترتیبش از چپ به راسته.