| |
| | ContextFreeSlides5.doc |
 | | Example: {anbncn} Showing that a Language is Context-Free Techniques for showing that a language L is context-free: Exhibit a context-free grammar for L. Exhibit a PDA for L. Use the closure properties of context-free languages. |
 | | The Intersection of a Context-Free Language and a Regular Language is Context-Free L = L(M1), a PDA = (K1, (, (1, (1, s1, F1) R = L(M2), a deterministic FSA = (K2, (, (, s2, F2) We construct a new PDA, M3, that accepts L (R by simulating the parallel execution of M1 and M2. |
 | | The Deterministic Context-Free Languages Are Closed Under Complement Proof: Let L be a language such that L$ is accepted by the deterministic PDA M. We construct a deterministic PDA M' to accept (the complement of L)$, just as we did for FSMs: Initially, let M' = M. M' is already deterministic. |
| www.cs.utexas.edu /users/cline/ear/Slides/ContextFree/ContextFreeSlides5.doc (2069 words) |
|