Select a PDA and input string
Choose valid transitions based on current state
Watch the stack operations
Reach accept state to succeed
Top of Stack: Z (bottom)
Start simulation to see available transitions