1.07k likes | 1.23k Vues
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. Thursday 4-03-14. FEARLESS Engineering.
E N D
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 Thursday4-03-14 FEARLESS Engineering
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.
Context-free Languages Chapter Three
Other Simplifications Useful variables and productions Left-recursion
Left-recursion 3-04-14
Pushdown Automata Many similar definitions
PUMPING LEMMA Context-Free
NOTE: CFLs are not closed under intersection (or complement)!
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.
For each a read, non-deterministically push ONE or TWO a’s on the stack; then match b’s read exactly with stack.
Ambiguity Dangling ELSE Problem
“An ELSE belongs to the last preceding IF for which there is no ELSE already”
End of File (EOF): UNIX Control-D (ASCII 04) Windows Control-Z (ASCII 26) Java’s Buffered Reader Null (ASCII 0) Empty Stack ($), (Zo) End of File; Empty Stack