Pumping Lemma September 29, 2006

Slides:



Advertisements
Similar presentations
Pumping Lemma Problem: Solution:
Advertisements

Theory of Computation CS3102 – Spring 2014 A tale of computers, math, problem solving, life, love and tragic death Nathan Brunelle Department of Computer.
3.2 Pumping Lemma for Regular Languages Given a language L, how do we know whether it is regular or not? If we can construct an FA to accept the language.
CSCI 2670 Introduction to Theory of Computing September 13, 2005.
CSCI 2670 Introduction to Theory of Computing September 15, 2004.
1 Introduction to Computability Theory Discussion3: Uses of the Pumping Lemma Prof. Amos Israeli.
CS21 Decidability and Tractability
1 Introduction to Computability Theory Lecture4: Non Regular Languages Prof. Amos Israeli.
CS 310 – Fall 2006 Pacific University CS310 Regular Expressions Sections:1.3 page 63 September 18, 2006 September 20, 2006.
CS 302: Discrete Math II A Review. An alphabet Σ is a finite set (e.g., Σ = {0,1}) A string over Σ is a finite-length sequence of elements of Σ For x.
CS 310 – Fall 2006 Pacific University CS310 Pumping Lemma Sections:1.4 page 77 September 27, 2006.
Costas Busch - RPI1 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
CS5371 Theory of Computation Lecture 5: Automata Theory III (Non-regular Language, Pumping Lemma, Regular Expression)
1 Introduction to Computability Theory Lecture4: Non Regular Languages Prof. Amos Israeli.
1 More Applications of the Pumping Lemma. 2 The Pumping Lemma: Given a infinite regular language there exists an integer for any string with length we.
Courtesy Costas Busch - RPI1 Non-regular languages.
Homework 4 Solutions.
Fall 2004COMP 3351 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
Lecture 8 Sept 29, 2011 Regular expressions – examples Converting DFA to regular expression. (same works for NFA to r.e. conversion.) Converting R.E. to.
FSA Lecture 1 Finite State Machines. Creating a Automaton  Given a language L over an alphabet , design a deterministic finite automaton (DFA) M such.
Lecture 7UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 7.
1 Non-regular languages. 2 Regular languages Non-regular languages.
Today Chapter 1: RE = Regular Languages, nonregular languages RL pumping lemma Chapter 2: Context-Free Languages (CFLs)
Cs3102: Theory of Computation Class 6: Pushdown Automata Spring 2010 University of Virginia David Evans TexPoint fonts used in EMF. Read the TexPoint manual.
Chapter 4 Pumping Lemma Properties of Regular Languages Decidable questions on Regular Languages.
Class Discussion Can you draw a DFA that accepts the language {a k b k | k = 0,1,2,…} over the alphabet  ={a,b}?
Properties of Regular Languages
Cs3102: Theory of Computation Class 5: Non-Regular Languages Spring 2010 University of Virginia David Evans TexPoint fonts used in EMF. Read the TexPoint.
CS355 - Theory of Computation Regular Expressions.
CSCI 2670 Introduction to Theory of Computing September 13.
Non-Context-Free Languages Section 2.3 CSC 4170 Theory of Computation.
CS 208: Computing Theory Assoc. Prof. Dr. Brahim Hnich Faculty of Computer Sciences Izmir University of Economics.
CSCI 3130: Formal languages and automata theory Tutorial 3 Chin.
1 Find as many examples as you can of w, x, y, z so that w is accepted by this DFA, w = x y z, y ≠ ε, | x y | ≤ 7, and x y n z is in L for all n ≥ 0.
Cs466(Prasad)L11PLEG1 Examples Applying Pumping Lemma.
Lecture 8UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 8.
Nonregular Languages Section 2.4 Wed, Oct 5, 2005.
Non-regular languages - The pumping lemma
Foundations of Computing Science
Formal Language & Automata Theory
Non-regular languages
Standard Representations of Regular Languages
CSE322 PUMPING LEMMA FOR REGULAR SETS AND ITS APPLICATIONS
PROPERTIES OF REGULAR LANGUAGES
Regular Expressions Sections:1.3 page 63 September 17, 2008
Nonregular Languages Section 2.4 Wed, Oct 5, 2005.
Intro to Theory of Computation
Pumping Lemma for Regular Languages some languages are not regular!
COSC 3340: Introduction to Theory of Computation
Lecture5 Non-regular languages
CS 154, Lecture 4: Limitations on DFAs (I),
Infiniteness Test The Pumping Lemma Nonregular Languages
Regular Expression We shall build expressions from the symbols using simple operations include concatenation, union and kleen closure. Several intuitive.
Non-Context-Free Languages
4. Properties of Regular Languages
Elementary Questions about Regular Languages
Non-regular languages
FORMAL LANGUAGES, AUTOMATA, AND COMPUTABILITY
Chapter 4 Properties of Regular Languages
Nonregular languages & the pumping lemma
CS21 Decidability and Tractability
Non-Regular Languages
CS 461 – Sept. 16 Review Pumping lemma Applications of FA:
Chapter 1 Regular Language - 02
More Applications of the Pumping Lemma
Chapter 2 Context-Free Language - 02
CHAPTER 1 Regular Languages
COSC 3340: Introduction to Theory of Computation
CSCI 2670 Introduction to Theory of Computing
Presentation transcript:

Pumping Lemma September 29, 2006 CS310 Pumping Lemma September 29, 2006

Quick Review Pumping Lemma If A is a regular language, then there is a number p where, if s is any string in A of length at least p, then s may be divided into three pieces, s = xyz, satisfying the following conditions: i >= 0, xyiz є L(M) |y| > 0 |xy| <= p x y z s = xyz (x, z may be ε) You must be able to repeat any number of Ys and have the string be accepted. y cannot be the empty string The repeated state must occur in the first p input symbols (p+1 states) Use proof by contradiction to show a language is non-regular

Motivation This is a regular language: Determine: s = xyz 1*00 How do we know it is regular? Draw a DFA Find a string, s, whose length is >= p p = |Q| Determine: s = xyz What is y? Where is the unbounded repetition? i >= 0, xyiz є L(M) |y| > 0 |xy| <= p

Examples Galore! L = { an bm : m > n } L = { an bm : m < n } L = { a2*n : n > 0} L = { an : n is prime } L = { a n b m c n + m : n, m > 0 } L = { a n b a n : n > = 0 } L = {wbbw | w  {a, b}*} L = { (ac)n bm : n > m >= 0 } L = { an bm : m, n >0 } Show for each language: A string that does pump A string that does not pump Are any of these languages regular? Can we write any of them as a regular expression?