A push down automation (pda) is given in the following extended notation of finite state diagram:
The nodes denote the states while the edges denote the moves of the pda. The edge labels are of the form $d$, $s/s'$ where $d$ is the input symbol read and $s, s'$ are the stack contents before and after the move. For example the edge labeled $1, s/1.s$ denotes the move from state $q_0$ to $q_0$ in which the input symbol $1$ is read and pushed to the stack.
part(b) e is epsilon(to denote pop operation)
(q0,0,z0) |---- (q0,0z0) or (q0,00z0)
(q0,0,0) |---- (q0,00) or (q0,0000)
(q0,1,0) |---- (q1,e)
(q1,1,0) |---- (q1,e)
i dont think it is maintainning n≤m≤2n this...
@Arjun sir. I have a doubt here.
δ(q1,∊, z0) |---- (q1,∊) . This transition is required, right? otherwise, how stack top symbol will be popped? And if it is not popped then how stack will be emptied?
$\lambda$ in the stack part is used to indicate "whatever be the input". And the additional $(\lambda,Z,\lambda)$ was added to pop the initial symbol from the stack.