A finite automaton with a stack. Run a word one move at a time, watch the stack grow and shrink, and see a breadth-first search follow every guess of a nondeterministic machine.
This interactive visualization needs JavaScript.