| Pushdown Automata (PDA) | ||
we can show the computation of the PDA on a given input using the IDs and next move relations. For example, following are the computation on two input strings.
i) Let the input be aabab.
No further move is defined at this point. Hence the PDA gets stuck and the string aabab is not accepted. |
||