PDA  
{a^n b^m | n>0,(n=m or n=2m)}
Final State // Either Empty Stack or Final State for accepting... 
a b // Input Alphabet
A Z // Stack Alphabet
Z // Stack Start Symbol
q0 q1 q2 q3 q4  // Machine States
q0 // Start State
q4 // Set of Final States
q0 a Z q0 AZ
q0 a A q0 AA
q0 b A q1 \  // \ use for epsilon(lambda) input or output
q0 b A q2 \ 
q1 b A q1 \
q1 \ Z q4 Z
q2 \ A q3 \
q3 b A q2 \
q3 \ Z q4 Z
end   // REQUIRED