(a^n b^n | n>=1)
transition :
(q0,a,Z0)=(q1,XZ0)
(q1, a, X) =(q1,XX)
(q1,b,X)=(q2,€)
(q2,b,X)=(q2,€)
(q2, €, Z0)=(q3,€)
accepted by the final state.
(a^n b^n | n >=0)
transition :
(q0,€,Z0)=(q3,€)
(q0,a,Z0)=(q1,XZ0)
(q1,a,X)=(q1,XX)
(q1,b,X)=(q2,€)
(q2,b,X)=(q2,€)
(q2,€,Z0)=(q3,€)
accepted by the final state.