toc check

Question

is it equal??  
$(a^{+}b^{+})^*$= $(a^{+}b)^*(ab^{+})^*$

Comments

But is $b^*$ there? It's $(a^+b)^*$. So you can replace the whole term by $\epsilon$ but not individual b. Either you choose $\epsilon$ from $(a^+b)^*$ or, if you choose anything, you must choose at least one $a$ followed by exactly one $b$, for each $(a^+b)$ you consider.

---

No, it is not

(a⁺b)^* where * means you may take string (a⁺b) or not

Now (a⁺b) means when u taking a string u must take atleast one a.

https://gateoverflow.in/27552/dfa-for-wxwr-w-x-belong-to-a-b

this question may u help more

---

yes

@pratyush madhukar

u r right.

Then both LHS=RHS