$L = {a^nb^ma^n / m,n>=1}$

• A PDA is defined as a 7-tuple representation such as

  (Q, є, δ, $q_0$, $z_0$,F,Γ)

  where

  1. Q – Finite set of states
  2. є- Input symbol
  3. δ- Transition function
  4. $q_0$ - Initial state
  5. $z_0$ – Bottom of the stack
  6. F- Set of final states
  7. Γ- Stack alphabet

• Here, we have $a^n$ …