PDA    
EXAMPLE 2: Hopcroft & Ullman's PDA for {ww^R : w in (a + b)*}
Empty Stack // Accept by Final State or Empty Stack
a b // Input Alphabet
a b Z // Stack Alphabet
Z // Stack Start Symbol
q0 q1 q2 // Machine States
q0 // Initial State
// Set of Final State is empty
q0 \ Z q2 \
q0 a Z q0 aZ
q0 b Z q0 bZ
q0 a a q1 \
q0 a a q0 aa
q0 a b q0 ab
q0 b a q0 ba
q0 b b q0 bb
q0 b b q1 \
q1 b b q1 \
q1 a a q1 \
q1 \ Z q2 \
end   // REQUIRED