1 / 40

Pushdown Automata PDAs

Pushdown Automata PDAs. Pushdown Automaton -- PDA. Input String. Stack. States. Initial Stack Symbol. Stack. Stack. stack head. top. bottom. special symbol. The States. Pop symbol. Input symbol. Push symbol. input. stack. top. Replace. input. stack. top. Push. input.

gayle
Télécharger la présentation

Pushdown Automata PDAs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Pushdown AutomataPDAs Costas Busch - RPI

  2. Pushdown Automaton -- PDA Input String Stack States Costas Busch - RPI

  3. Initial Stack Symbol Stack Stack stack head top bottom special symbol Costas Busch - RPI

  4. The States Pop symbol Input symbol Push symbol Costas Busch - RPI

  5. input stack top Replace Costas Busch - RPI

  6. input stack top Push Costas Busch - RPI

  7. input stack top Pop Costas Busch - RPI

  8. input stack top No Change Costas Busch - RPI

  9. A Possible Transition input stack empty Pop top Costas Busch - RPI

  10. A Bad Transition input Empty stack HALT The automaton Halts in state and Rejects the input string Costas Busch - RPI

  11. A Bad Transition input Empty stack HALT The automaton Halts in state and Rejects the input string Costas Busch - RPI

  12. No transition is allowed to be followed When the stack is empty Empty stack Costas Busch - RPI

  13. A Good Transition input stack Pop top Costas Busch - RPI

  14. Non-Determinism These are allowed transitions in a Non-deterministic PDA (NPDA) Costas Busch - RPI

  15. The input string is accepted by the NPDA: Costas Busch - RPI

  16. NPDA example NPDA Costas Busch - RPI

  17. Execution Example: Time 0 Input Stack Costas Busch - RPI

  18. Time 1 Input Stack Costas Busch - RPI

  19. Time 2 Input Stack Costas Busch - RPI

  20. Time 3 Input Guess the middle of string Stack Costas Busch - RPI

  21. Time 4 Input Stack Costas Busch - RPI

  22. Time 5 Input Stack Costas Busch - RPI

  23. Time 6 Input Stack accept Costas Busch - RPI

  24. Rejection Example: Time 0 Input Stack Costas Busch - RPI

  25. Time 1 Input Stack Costas Busch - RPI

  26. Time 2 Input Stack Costas Busch - RPI

  27. Time 3 Input Guess the middle of string Stack Costas Busch - RPI

  28. Time 4 Input Stack Costas Busch - RPI

  29. Time 5 There is no possible transition. Input Input is not consumed Stack Costas Busch - RPI

  30. Another computation on same string: Input Time 0 Stack Costas Busch - RPI

  31. Time 1 Input Stack Costas Busch - RPI

  32. Time 2 Input Stack Costas Busch - RPI

  33. Time 3 Input Stack Costas Busch - RPI

  34. Time 4 Input Stack Costas Busch - RPI

  35. Time 5 Input No final state is reached Stack Costas Busch - RPI

  36. There is no computation that accepts string Costas Busch - RPI

  37. A string is rejected if there is no computation such that: All the input is consumed AND The last state is a final state At the end of the computation, we do not care about the stack contents Costas Busch - RPI

  38. In other words, a string is rejected if in every computation with this string: The input cannot be consumed OR The input is consumed and the last state is not a final state OR The stack head moves below the bottom of the stack Costas Busch - RPI

  39. Pushing Strings Pop symbol Input symbol Push string Costas Busch - RPI

  40. Example: input pushed string stack top Push Costas Busch - RPI

More Related