| Pushdown Automata (PDA) | ||
Final states are indicated by double circles and the start state is indicated by an arrow to it from nowhere.
Configuration or Instantaneous Description (ID) : A configuration or an instantaneous description (ID) of PDA at any moment during its computation is an element of The start or inital configuartion (or ID) on input The "next move relation" one figure describes how the PDA can move from one configuration to another in one step. |
||