1 / 88

Erik Jonsson School of Engineering and Computer Science

Erik Jonsson School of Engineering and Computer Science. CS 4384 – 0 01. Automata Theory. http://www.utdallas.edu/~pervin. Tuesday: Context-Free Languages Chapter Three – Review All. Tuesday 3-25-14. FEARLESS Engineering.

obert
Download Presentation

Erik Jonsson School of Engineering and Computer Science

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. Erik Jonsson School of Engineering and Computer Science CS 4384– 001 Automata Theory http://www.utdallas.edu/~pervin Tuesday: Context-Free Languages Chapter Three – Review All Tuesday3-25-14 FEARLESS Engineering

  2. A search of Albert Einstein's archived manuscripts last year turned up a draft of an early unpublished paper by the famed physicist that concluded, mistakenly, that new matter, such as stars and galaxies, would appear to fill the expanding universe. Einstein was attempting to make sense of Edwin Hubble's observation that the universe was expanding, but he made a mathematical error. When he discovered his mistake, he set aside the paper, which is now in a digital archive of his papers at the Hebrew University in Jerusalem. Waterford Institute of Technology physicist Cormac O'Raifeartaigh and colleagues found the paper while scouring the archive.

  3. Because of this talk, there will be NO class Thursday, March 27th

  4. Context-free Languages Chapter Three

  5. Palindromes

  6. Chomsky Normal Form

  7. Other Simplifications Useful variables and productions Left-recursion

  8. Useless Example

  9. Left-recursion 3-04-14

  10. Pushdown Automata Many similar definitions

  11. STACK

  12. 4. Cohen PDA

  13. Odd Palindrome

  14. Even Palindrome

  15. CFG » PDA

  16. PUMPING LEMMA Context-Free

  17. NOTE: CFLs are not closed under intersection (or complement)!

  18. Martin, P. 218; H&U, P. 115

  19. I guess this is really Homework 12

  20. Exactly like the regular problem!

  21. CS 341 – UT-Austin

  22. CS 341 – UT-Austin

  23. Informal Verbal PDAs

  24. Read and push a’s onto stack if any; read and ignore b’s if any; read and match c’s with stack exactly.

  25. Read and push a’s onto the stack; read b’s and match them against the stack until empty; read any additional b’s and push them onto the stack; read and match c’s with stack exactly.

  26. For each a read, non-deterministically push ONE or TWO a’s on the stack; then match b’s read exactly with stack.

More Related