\Draw 
  \PdaDiagrams 
  \StateSpec(+,,,+,,) 
  \Diagram 
  ( 
    1,$p$,100,0 
  & 2,$q_{trap}$,100,-100 
  & 3,$q_a$,0,-100 
  ) 
  ( 
    0,$q$,0,0 
  ) 
  ( 
     0,1,{b,a/$\epsilon$},{$\epsilon$,$Z_0$/$Z_0$} 
  &  0,3,{$\epsilon$,a/$\epsilon$},{b,$\epsilon$/$\epsilon$} 
  &  1,2,{b,b/b}, 
  &  3,2,{a,$\epsilon$/a}, 
  &  0,0,90,{$\epsilon$,a/$\epsilon$} 
  &  1,1,90,{$\epsilon$,a/$\epsilon$} 
  &  2,2,-40,{a,$\epsilon$/$\epsilon$,b,$\epsilon$/$\epsilon$} 
  ) 
 
\EndDraw