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

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

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

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