In Sipser's Theory of Computation book, it is stated while reducing ATM to REGULARTM
We let R be a TM that decides REGULARTM and construct TM S to decide ATM. Then S works in the following manner.
S = “On input , where M is a TM and w is a string:
Construct the following TM M2.
M2 = “On input x:
- If x has the form 0n1n, accept .
- If x does not have this form, run M on input w and accept if M accepts w.”
- Run R on input < M2>
- If R accepts, accept ; if R rejects, reject .”`
My question is, shouldn't M2 reject x of the form 0n1n?