Formal languages and automata theory Li Fan. Pumping Lemma Let L be a regular set. Then there is a constant n such that if z is any word in L, and |z|>=n,

Slides:



Advertisements
Similar presentations
Properties of Regular Sets
Advertisements

Pumping Lemma Problem: Solution:
CSE 202 – Formal Languages and Automata Theory 1 REGULAR LANGUAGE.
1 Pumping Lemma –A technique for proving a language L is NOT regular –What does the Pumping Lemma mean? –Proof of Pumping Lemma.
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.
Finite Automata Section 1.1 CSC 4170 Theory of Computation.
CS21 Decidability and Tractability
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Mount Holyoke College 2 Nonregular languages? We now know: –Regular languages may be specified either.
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Fall Nonregular languages? We now know: –Regular languages may be specified either by regular.
Automata and Formal Languages Tim Sheard 1 Lecture 8 Pumping Lemma & Distinguishability Jim Hook Tim Sheard Portland State University.
Courtesy Costas Busch - RPI1 More Applications of the Pumping Lemma.
CS 310 – Fall 2006 Pacific University CS310 Pumping Lemma Sections:1.4 page 77 September 27, 2006.
CS5371 Theory of Computation Lecture 5: Automata Theory III (Non-regular Language, Pumping Lemma, Regular Expression)
1 Finite Automata. 2 Finite Automaton Input “Accept” or “Reject” String Finite Automaton Output.
CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Limitations.
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.
Homework 4 Solutions.
Fall 2006Costas Busch - RPI1 More Applications of the Pumping Lemma.
Prof. Busch - LSU1 More Applications of the Pumping Lemma.
1 Non-regular languages. 2 Regular languages Non-regular languages.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2012.
Theory Of Automata By Dr. MM Alam
Tutorial CSC3130 : Formal Languages and Automata Theory Haifeng Wan ( )
Introduction to CS Theory Lecture 3 – Regular Languages Piotr Faliszewski
CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Closure.
Introduction to CS Theory
Chapter 4 Pumping Lemma Properties of Regular Languages Decidable questions on Regular Languages.
CS 3240 – Chapter 4.  Closure Properties  Algorithms for Elementary Questions:  Is a given word, w, in L?  Is L empty, finite or infinite?  Are L.
Lecture 5 (More Useful Tools) Invariants The Use of Invariants  Let f be a function from X to X with a fixed point a  X, i.e. f(a) = a.  Define the.
Class Discussion Can you draw a DFA that accepts the language {a k b k | k = 0,1,2,…} over the alphabet  ={a,b}?
Context Free Pumping Lemma. CFL Pumping Lemma A CFL pump consists of two non-overlapping substrings that can be pumped simultaneously while staying in.
Non-Context-Free Languages Section 2.3 CSC 4170 Theory of Computation.
CSCI 3130: Formal languages and automata theory Tutorial 3 Chin.
1 Applications of pumping lemma(Dr. Torng) Applications of Pumping Lemma –General proof template What is the same in every proof What changes in every.
Context Free Languages and Pushdown Automata. اثبات مستقل از متن بودن یک زبان ( PDA ) Prove that the class of Context-Free Languages is closed under MissingMiddle,
Prime Numbers and composite numbers
Nonregular Languages How do you prove a language to be regular? How do you prove a language to be nonregular? A Pumping Lemma.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
CS 154 Formal Languages and Computability March 17 Class Meeting Department of Computer Science San Jose State University Spring 2016 Instructor: Ron Mak.
Lecture 8UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 8.
Dept. of Computer Science & IT, FUUAST Automata Theory 2 Automata Theory III Properties of Regular Languages 1.Closure 2.Union 3.Concatenation 4.Complement(Negation)
1 Use the pumping theorem for context-free languages to prove that L= { a n b a n b a p : n, p ≥ 0, p ≥ n } is not context-free. Hint: For the pumping.
Complexity and Computability Theory I
Review of Factoring Unit R Lesson 2.
Formal Language & Automata Theory
Standard Representations of Regular Languages
CSE322 PUMPING LEMMA FOR REGULAR SETS AND ITS APPLICATIONS
Exercise Evaluate
FORMAL LANGUAGES AND AUTOMATA THEORY
Context Free Pumping Lemma Some languages are not context free!
Properties of Regular Languages
Infiniteness Test The Pumping Lemma Nonregular Languages
Why do you learn square roots?
4. Properties of Regular Languages
Hopcroft, Motawi, Ullman, Chap 4, sections 4.1 and 4.2
CSE322 Minimization of finite Automaton & REGULAR LANGUAGES
Elementary Questions about Regular Languages
CS 461 – Sept. 16 Review Pumping lemma Applications of FA:
More Applications of the Pumping Lemma
Properties of Regular Sets
Non-regular languages
Non-regular languages
Every number has its place!
CSC 4170 Theory of Computation Finite Automata Section 1.1.
Kleene’s Theorem (Part-3)
CHAPTER 1 Regular Languages
CSCI 2670 Introduction to Theory of Computing
Presentation transcript:

Formal languages and automata theory Li Fan

Pumping Lemma Let L be a regular set. Then there is a constant n such that if z is any word in L, and |z|>=n, we may write z=uvw in such a way that |uv| =1, and for all i>=0, u(v^i)w is in L. Furthermore, n is no greater than the number of states of the smallest FA accepting L.

Exercise The set L={0^(i^2) | i is an integer, i>=1}, which consists of all strings of 0’s whose length is a perfect square, is not regular. Prove that L = {(a^n)(b^k): n > k and n>=0} is not regular.

Which of the following languages are regular sets? {0^(2n) | n>=1} {(0^m)(1^n)(0^(m+n)) | m>=1 and n>=1} {0^n | n is a prime} The set of all strings that do not have three consecutive 0’s

The set of all strings with an equal number of 0’s and 1’s {x | x in (0+1)*, and x=x^R} x^R is x written backward; for example, (011)^R=110. {xwx^R | x,w in (0+1)+}.

Thank you