Hey,
We would like to verify with you the following reduction and know if anything is missing / not-correct.
Reduction from EQtm.
Given <M1,M2>, we would build the following TM M':
M' would check if: L(M1) = {(0)^n (1)^N}, if so, M' would accept and return <M1, G>.
G would be the same CFG we've seen in class the builds 0^n 1^n.
Else. deny.
looking at the answer presented at the Sol, they are pretty much using the same principal of getting an M, and building G that figures Sigma*.