But the suggestion of a possible run from state s to
state t is misleading as such a run is impossible. Hence the use of PDA diagrams is avoided in our presentation.
Most authors adopt a diagram notation to describe PDAs. Transitions are labeled with the input/stack pair defining a transition, plus the sequence written to the stack. For instance:
| Previous slide | Next slide | Back to first slide | View graphic version |