Give a CFG for the language N(M) where
M = ({q_0, q_1}, {0, 1}, \{Z_0, X\}, \delta, q_0, Z_0, \Phi)
and \delta is given by
\delta(q_0, 1, Z_0) = \{(q_0, XZ_0)\}
\delta(q_0, 1, X) = \{(q_0, XX)\}
\delta(q_0, 0, X) = \{(q_1, X)\}
\delta(q_0, \epsilon, Z_0) = \{(q_0, \epsilon)\}
\delta(q_1, 1, X) = \{(q_1, \epsilon)\}
\delta(q_1, 0, Z_0) = \{(q_0, Z_0)\}