PDA  
PDA for {w : n_a(w) = n_b(w) > 0 }
Final State // Either Empty Stack or Final State for accepting... 
a b // Input Alphabet
A B Z // Stack Alphabet
Z // Stack Start Symbol
q0 q1 // Machine States
q0 // Start State
q0 // Set of Final States
q0 a Z q1 AZ
q1 a B q1 \   // \ use for epsilon(lambda) input or output
q1 a A q1 AA
q0 b Z q1 BZ
q1 b A q1 \
q1 b B q1 BB
q1 \ Z q0 Z
end   // REQUIRED