Download presentation

Presentation is loading. Please wait.

Published byLynette Williams Modified over 6 years ago

1
Prof. Busch - LSU1 More Applications of the Pumping Lemma

2
Prof. Busch - LSU2 The Pumping Lemma: Given a infinite regular language there exists an integer (critical length) for any string with length we can write with and such that:

3
Prof. Busch - LSU3 Regular languages Non-regular languages

4
Prof. Busch - LSU4 Theorem: The language is not regular Proof: Use the Pumping Lemma

5
Prof. Busch - LSU5 Assume for contradiction that is a regular language Since is infinite we can apply the Pumping Lemma

6
Prof. Busch - LSU6 We pick Let be the critical length for Pick a string such that: lengthand

7
Prof. Busch - LSU7 we can write: with lengths: From the Pumping Lemma: Thus:

8
Prof. Busch - LSU8 From the Pumping Lemma: Thus:

9
Prof. Busch - LSU9 From the Pumping Lemma: Thus:

10
Prof. Busch - LSU10 BUT: CONTRADICTION!!!

11
Prof. Busch - LSU11 Our assumption that is a regular language is not true Conclusion: is not a regular language Therefore: END OF PROOF

12
Prof. Busch - LSU12 Regular languages Non-regular languages

13
Prof. Busch - LSU13 Theorem: The language is not regular Proof: Use the Pumping Lemma

14
Prof. Busch - LSU14 Assume for contradiction that is a regular language Since is infinite we can apply the Pumping Lemma

15
Prof. Busch - LSU15 We pick Let be the critical length of Pick a string such that: length and

16
Prof. Busch - LSU16 We can write With lengths From the Pumping Lemma: Thus:

17
Prof. Busch - LSU17 From the Pumping Lemma: Thus:

18
Prof. Busch - LSU18 From the Pumping Lemma: Thus:

19
Prof. Busch - LSU19 BUT: CONTRADICTION!!!

20
Prof. Busch - LSU20 Our assumption that is a regular language is not true Conclusion: is not a regular language Therefore: END OF PROOF

21
Prof. Busch - LSU21 Regular languages Non-regular languages

22
Prof. Busch - LSU22 Theorem: The language is not regular Proof: Use the Pumping Lemma

23
Prof. Busch - LSU23 Assume for contradiction that is a regular language Since is infinite we can apply the Pumping Lemma

24
Prof. Busch - LSU24 We pick Let be the critical length of Pick a string such that: length

25
Prof. Busch - LSU25 We can write With lengths From the Pumping Lemma: Thus:

26
Prof. Busch - LSU26 From the Pumping Lemma: Thus:

27
Prof. Busch - LSU27 From the Pumping Lemma: Thus:

28
Prof. Busch - LSU28 Since: There must exist such that:

29
Prof. Busch - LSU29 However:for for any

30
Prof. Busch - LSU30 BUT: CONTRADICTION!!!

31
Prof. Busch - LSU31 Our assumption that is a regular language is not true Conclusion: is not a regular language Therefore: END OF PROOF

Similar presentations

© 2022 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google