Download presentation

Presentation is loading. Please wait.

Published byEthan Earwood Modified over 2 years ago

1
Proof of the Pumping Theorem for Regular Languages Richard Beigel CIS Temple University

2
The Pumping Theorem for Regular Languages If L is regular then N z such that z L and |z| N u,v,w such that z = uvw, |uv| N, and |v| > 0 i [uv i w L]

3
Proof Assume L is regular Then there is a (standardized) DFR P that recognizes L (no EOF or NOOP) Let be N be the number of control states in P Let z L and |z| N Consider P’s accepting computation on input z Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N.

4
Proof Then there is a standardized DFR P that recognizes L (no EOF or NOOP) Let be N be the number of control states in P Let z L and |z| N Consider P’s accepting computation on input z Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N. By the pigeonhole principle q j =q k for some j

5
Proof Let be N be the number of control states in P Let z L and |z| N Consider P’s accepting computation on input z Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N. By the pigeonhole principle q j =q k for some j

6
Proof Let z L and |z| N Consider P’s accepting computation on input z Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N. By the pigeonhole principle q j =q k for some j

7
Proof Consider P’s accepting computation on input z Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N. By the pigeonhole principle q j =q k for some j

8
Proof Let q 0, q 1, …, q n be the sequence of control states in that computation. Then n N. By the pigeonhole principle q j =q k for some j

9
Proof By the pigeonhole principle q j =q k for some j

10
Picture-proof that uv*w L q0q0 qjqj qnqn u v w q j = q k

11
Example: L = {a n 2 : n 0} Assume L is regular Let N be given by the Pumping Theorem Let z = a N 2 Let u, v, w be given by the Pumping Theorem Then v = a k where 0 < k N Let i = 2 Then uv i w = uv 2 w = uvvw = a N 2 + k Since N 2 < N 2 + k N 2 + N < N 2 + 2N + 1 = (N + 1) 2, N 2 + k is not a square, so uv i w = a N 2 + k L This contradicts the Pumping Theorem, so L is not regular

12
Example: L = {a m b n : m n} Assume L is regular Let N be given by the Pumping Theorem Let z = a N b N Let u, v, w be given by the Pumping Theorem Then v = a k where 0 < k N Let i = 2 Then uv i w = uvvw = a N+k b N Since k > 0, N+k > N, so uv i w = a N+k b N L This contradicts the Pumping Theorem, so L is not regular

13
Example: L = {a m b n : m n} Assume L is regular Let N be given by the Pumping Theorem Let z = a N b N Let u, v, w be given by the Pumping Theorem Then v = a k where 0 < k N Let i = 0 Then uv i w = uw = a N-k b N Since k > 0, N-k < N, so uv i w = a N-k b N L This contradicts the Pumping Theorem, so L is not regular

Similar presentations

OK

CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Closure.

CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Closure.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on media revolution Ppt on cross docking meaning Ppt on direct and online marketing Ppt on trade fair hardware Ppt on wagon repair shop Ppt on obesity diet foods Pituitary gland anatomy and physiology ppt on cells Ppt on instrument landing system ils Ppt on power line carrier communication system Ppt on budget deficit