Pushdown Automaton: CFL and the pumping lemma

More documents

Recommendations

Info

Example: 0,A 1,A ,$ #,z q s q 0 q 3 ,z q 1 ,$ q 2 start variable: A S2 productions: A SS → A SS A SS A SS → A S0 A 0S A SS → A S1 A 1S A SS → A S2 A 2S A S1 → A SS A S1 A SS → A 00 → A 11 → A 22 → A 33 → A S2 → A 01 A 01 → 0 A 01 1 A 01 → #A 33 A S1 → A S0 A 01 A S1 → A S1 A 11 ... 28
CFG=PDA • We have shown that a language is context-free iff some pushdown automaton recognizes it. • In particular all regular languages can be generated by CFGs <strong>and</strong> so can be recognized by PDA. • The class of languages accepted by nondeterministic PDAs is larger than those accepted by deterministic PDAs. 29
Page 1 and 2: Unit 9 More Pushdown Automata Conte
Page 3 and 4: Example: L = {a i b i c j d j |i,j0
Page 5 and 6: CFG=PDA Theorem: A language is cont
Page 7 and 8: Different derivations for the same
Page 9 and 10: control E E E E E E input: stac
Page 11 and 12: E E E E E E control 5 E E 5
Page 13 and 14: From CFG to PDA Informally: 1. Plac
Page 15 and 16: From CFG to PDA • We define as f
Page 17 and 18: From PDA to CFG context-free gramma
Page 19 and 20: From PDA to CFG • $ is always pop
Page 21 and 22: From PDA to CFG • For any word w
Page 23 and 24: From PDA to CFG Option 1: The stack
Page 25 and 26: From PDA to CFG Let P=(Q, , , , q 0
Page 27: Example: 0,A ,$ #, q s q 0 1,A q 1
Page 31 and 32: Non context-free Languages • Cons
Page 33 and 34: The Pumping Lemma - background •
Page 35 and 36: The Pumping Lemma - background •
Page 37 and 38: The Pumping Length • That means t
Page 39 and 40: Proof - value of p • First we fin
Page 41 and 42: Proof - condition 1 • To prove co
Page 43 and 44: Proof - condition 3 S S R R R x u v
Page 45 and 46: Usage of the lemma - Example • We
Page 47 and 48: L n n n p p p { a b c | n 0}. Let
Page 49 and 50: L={a i b i c i |i0} Case 2: v or y
Page 51 and 52: Intersection 1 CFL are not closed u
Page 53: Complement Theorem: CFL are not clo

Pushdown Automaton: CFL and the pumping lemma

Create successful ePaper yourself

Delete template?

Save as template?