I am reading this proof and I don't understand whether the highlighted term in second and third step is a typo or I am missing something. I would expect it to be
$$qpq^*$$
Thanks for the help!
I am reading this proof and I don't understand whether the highlighted term in second and third step is a typo or I am missing something. I would expect it to be
$$qpq^*$$
Thanks for the help!
Well, it should be $qpq^* + (qpq^*)^*$.