Give a CFG for the language N(M) where
M = ({q0, q1}, {0, 1}, {Zo, X}, δ, qο, Ζο, Φ)
and δ is given by
δ(qο, 1, Ζο) = {(qo, XZo)}
δ(qο, 1, Χ) = {(qo, XX)}
δ(αο, €, Ζο) = {(qo, €)}
δ(q1, 1, X) = {(q1, €)}
δ(qο, 0, Χ) = {(q1, X)}
δ(q1, 0, Ζο) = {(qo, Zo)}