1 Let’s Recapitulate. 2 Regular Languages DFAs NFAs Regular Expressions Regular Grammars.

Slides:



Advertisements
Similar presentations
Numbers Treasure Hunt Following each question, click on the answer. If correct, the next page will load with a graphic first – these can be used to check.
Advertisements

1 A B C
Scenario: EOT/EOT-R/COT Resident admitted March 10th Admitted for PT and OT following knee replacement for patient with CHF, COPD, shortness of breath.
Simplifications of Context-Free Grammars
Variations of the Turing Machine
PDAs Accept Context-Free Languages
Angstrom Care 培苗社 Quadratic Equation II
AP STUDY SESSION 2.
1
Copyright © 2003 Pearson Education, Inc. Slide 1 Computer Systems Organization & Architecture Chapters 8-12 John D. Carpinelli.
Copyright © 2011, Elsevier Inc. All rights reserved. Chapter 6 Author: Julia Richards and R. Scott Hawley.
Properties Use, share, or modify this drill on mathematic properties. There is too much material for a single class, so you’ll have to select for your.
Objectives: Generate and describe sequences. Vocabulary:
1 Special Angle Values. 2 Directions A slide will appear showing a trig function with a special angle. Say the value aloud before the computer can answer.
David Burdett May 11, 2004 Package Binding for WS CDL.
We need a common denominator to add these fractions.
1 RA I Sub-Regional Training Seminar on CLIMAT&CLIMAT TEMP Reporting Casablanca, Morocco, 20 – 22 December 2005 Status of observing programmes in RA I.
Local Customization Chapter 2. Local Customization 2-2 Objectives Customization Considerations Types of Data Elements Location for Locally Defined Data.
CALENDAR.
1 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt BlendsDigraphsShort.
1 Click here to End Presentation Software: Installation and Updates Internet Download CD release NACIS Updates.
1. PHOTO INDEX Bayside: Page 5-7 Other Colour Leon: Page 8-10 Cabrera Page Canaria Page Driftwood Page 16 Florence Florence and Corfu Page.
Media-Monitoring Final Report April - May 2010 News.
Break Time Remaining 10:00.
Turing Machines.
Table 12.1: Cash Flows to a Cash and Carry Trading Strategy.
PP Test Review Sections 6-1 to 6-6
1 The Blue Café by Chris Rea My world is miles of endless roads.
Bright Futures Guidelines Priorities and Screening Tables
EIS Bridge Tool and Staging Tables September 1, 2009 Instructor: Way Poteat Slide: 1.
Bellwork Do the following problem on a ½ sheet of paper and turn in.
Exarte Bezoek aan de Mediacampus Bachelor in de grafische en digitale media April 2014.
TESOL International Convention Presentation- ESL Instruction: Developing Your Skills to Become a Master Conductor by Beth Clifton Crumpler by.
Copyright © 2012, Elsevier Inc. All rights Reserved. 1 Chapter 7 Modeling Structure with Blocks.
1 RA III - Regional Training Seminar on CLIMAT&CLIMAT TEMP Reporting Buenos Aires, Argentina, 25 – 27 October 2006 Status of observing programmes in RA.
Basel-ICU-Journal Challenge18/20/ Basel-ICU-Journal Challenge8/20/2014.
1..
Adding Up In Chunks.
MaK_Full ahead loaded 1 Alarm Page Directory (F11)
1 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt 10 pt 15 pt 20 pt 25 pt 5 pt Synthetic.
: 3 00.
5 minutes.
1 Non Deterministic Automata. 2 Alphabet = Nondeterministic Finite Accepter (NFA)
1 hi at no doifpi me be go we of at be do go hi if me no of pi we Inorder Traversal Inorder traversal. n Visit the left subtree. n Visit the node. n Visit.
Speak Up for Safety Dr. Susan Strauss Harassment & Bullying Consultant November 9, 2012.
Essential Cell Biology
Converting a Fraction to %
Clock will move after 1 minute
PSSA Preparation.
Chapter Eleven: Non-Regular Languages
Essential Cell Biology
Immunobiology: The Immune System in Health & Disease Sixth Edition
Physics for Scientists & Engineers, 3rd Edition
Energy Generation in Mitochondria and Chlorplasts
Select a time to count down from the clock above
Copyright Tim Morris/St Stephen's School
1 Decidability continued…. 2 Theorem: For a recursively enumerable language it is undecidable to determine whether is finite Proof: We will reduce the.
1 Non Deterministic Automata. 2 Alphabet = Nondeterministic Finite Accepter (NFA)
The Pumping Lemma for CFL’s
1 More Properties of Regular Languages. 2 We have proven Regular languages are closed under: Union Concatenation Star operation Reverse.
Costas Busch - RPI1 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
Costas Busch - RPI1 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
Courtesy Costas Busch - RPI1 Non-regular languages.
Fall 2004COMP 3351 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
1 Non-regular languages. 2 Regular languages Non-regular languages.
Standard Representations of Regular Languages
CSE322 PUMPING LEMMA FOR REGULAR SETS AND ITS APPLICATIONS
Elementary Questions about Regular Languages
Presentation transcript:

1 Let’s Recapitulate

2 Regular Languages DFAs NFAs Regular Expressions Regular Grammars

3 A standard representation of a regular language : A DFA that accepts A NFA that accepts A regular expression that generates A regular grammar that generates

4 When we say: “We are given a Regular Language “ We mean: Language in a standard representation

5 Elementary Questions about Regular Languages

6 Question: Given regular language how can we check if a string ?

7 Question: Given regular language how can we check if a string ? Answer: Take the DFA that accepts and check if is accepted

8 Question: Given regular language how can we check if is empty, finite, infinite ? Answer: Take the DFA that accepts Then check the DFA

9 If there is a walk from the start state to a final state then: is not empty If the walk contains a cycle then: is infinite Otherwise finite Otherwise empty

10 Question: Given regular languages and how can we check if ?

11 Question: Given regular languages and how can we check if ? Answer: take And find if

12 Question: Given language how can we check if is not a regular language ?

13 Question: Given language how can we check if is not a regular language ? Answer: The answer is not obvious We need the Pumping Lemma

14 The Pigeonhole Principle

15 4 pigeons 3 pigeonholes

16 A pigeonhole must have two pigeons

pigeons pigeonholes

18 The Pigeonhole Principle pigeons pigeonholes There is a pigeonhole with at least 2 pigeons

19 The Pigeonhole Principle and DFAs

20 DFA with states

21 In walks of strings: no state is repeated

22 In walks of strings: a state is repeated

23 If the walk of string has length Then a state is repeated

24 If in a walk: transitions states Then: A state is repeated The pigeonhole principle:

25 In other words: transitions are pigeons states are pigeonholes

26 In general: A string has length number of states A state must be repeated in the walk......

27 The Pumping Lemma

28 Take an infinite regular language DFA that accepts states

29 Take string with There is a walk with label :

30 If string has lengthnumber of states Then, from the pigeonhole principle: A state is repeated in the walk......

31 Write......

Observations : length number of states length

33 The string is accepted Observation:......

34 The string is accepted Observation:......

35 The string is accepted Observation:......

36 The string is accepted In General:......

37 In other words, we described: The Pumping Lemma

38 The Pumping Lemma: 1. Given a infinite regular language 2. There exists an integer 3. For any string with length 4. We can write 5. With and 6. Such that: string

39 Applications of the Pumping Lemma

40 Claim: The language is not regular Proof: Use the Pumping Lemma

41 Proof: Assume for contradiction that is a regular language Since is infinite we can apply the Pumping Lemma

42 Let be the integer in the Pumping Lemma Pick a string such that: length Example: pick

43 Write it must be that length From the Pumping Lemma Therefore:

44 From the Pumping Lemma: Thus:

45 Therefore, BUT: and CONTRADICTION!!!

46 Our assumption that is a regular language cannot be true CONCLUSION: is not a regular language Therefore:

47 Claim: The language is not regular Proof: Use the Pumping Lemma

48 Proof: Assume for contradiction that is a regular language Since is infinite we can apply the Pumping Lemma

49 Let be the integer in the Pumping Lemma Pick a string such that: length Example: pick

50 Write it must be that length From the Pumping Lemma Therefore:

51 From the Pumping Lemma: Thus:

52 Therefore, BUT: and CONTRADICTION!!!

53 Our assumption that is a regular language cannot be true CONCLUSION: is not a regular language Therefore: