1 Regular Expressions Reading: Chapter 3. 2 Regular Expressions vs. Finite Automata Offers a declarative way to express the pattern of any string we want.

Slides:



Advertisements
Similar presentations
Properties of Regular Sets
Advertisements

CSC 361NFA vs. DFA1. CSC 361NFA vs. DFA2 NFAs vs. DFAs NFAs can be constructed from DFAs using transitions: Called NFA- Suppose M 1 accepts L 1, M 2 accepts.
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.
1 Midterm I review Reading: Chapters Test Details In class, Wednesday, Feb. 25, :10pm-4pm Comprehensive Closed book, closed notes.
Finite Automata Great Theoretical Ideas In Computer Science Anupam Gupta Danny Sleator CS Fall 2010 Lecture 20Oct 28, 2010Carnegie Mellon University.
1 Introduction to Computability Theory Lecture3: Regular Expressions Prof. Amos Israeli.
Transparency No. 4-1 Formal Language and Automata Theory Chapter 4 Patterns, Regular Expressions and Finite Automata (include lecture 7,8,9) Transparency.
1 Regular Expressions. 2 Regular expressions describe regular languages Example: describes the language.
CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Regular.
Fall 2004COMP 3351 Single Final State for NFA. Fall 2004COMP 3352 Any NFA can be converted to an equivalent NFA with a single final state.
1 Single Final State for NFAs and DFAs. 2 Observation Any Finite Automaton (NFA or DFA) can be converted to an equivalent NFA with a single final state.
Lecture 7 Sept 22, 2011 Goals: closure properties regular expressions.
CS5371 Theory of Computation Lecture 4: Automata Theory II (DFA = NFA, Regular Language)
Definitions Equivalence to Finite Automata
FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
1 A Single Final State for Finite Accepters. 2 Observation Any Finite Accepter (NFA or DFA) can be converted to an equivalent NFA with a single final.
1 Regular Expressions Definitions Equivalence to Finite Automata.
Fall 2004COMP 3351 Regular Expressions. Fall 2004COMP 3352 Regular Expressions Regular expressions describe regular languages Example: describes the language.
Regular Languages A language is regular over  if it can be built from ;, {  }, and { a } for every a 2 , using operators union ( [ ), concatenation.
Regular Expressions. Notation to specify a language –Declarative –Sort of like a programming language. Fundamental in some languages like perl and applications.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2012.
1 Regular Expressions. 2 Regular expressions describe regular languages Example: describes the language.
CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong NFA to DFA.
CSCI 2670 Introduction to Theory of Computing September 1, 2005.
MA/CSSE 474 Theory of Computation Regular Expressions Intro.
Lecture 5 Sept 06, 2012 Regular expressions – examples Converting DFA to regular expression. (same works for NFA to r.e. conversion.) Converting R.E. to.
Regular Expressions and Languages A regular expression is a notation to represent languages, i.e. a set of strings, where the set is either finite or contains.
Lesson No.6 Naveen Z Quazilbash. Overview Attendance and lesson plan sharing Assignments Quiz (10 mins.). Some basic ideas about this course Regular Expressions.
CHAPTER 1 Regular Languages
Formal Definition of Computation Let M = (Q, ∑, δ, q 0, F) be a finite automaton and let w = w 1 w w n be a string where each wi is a member of the.
CS 203: Introduction to Formal Languages and Automata
CS 208: Computing Theory Assoc. Prof. Dr. Brahim Hnich Faculty of Computer Sciences Izmir University of Economics.
1 Regular Expressions Definitions Equivalence to Finite Automata.
Finite Automata & Regular Languages Sipser, Chapter 1.
Finite Automata Great Theoretical Ideas In Computer Science Victor Adamchik Danny Sleator CS Spring 2010 Lecture 20Mar 30, 2010Carnegie Mellon.
INHERENT LIMITATIONS OF COMPUTER PROGRAMS CSci 4011.
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen.
1 Chapter 3 Regular Languages.  2 3.1: Regular Expressions (1)   Regular Expression (RE):   E is a regular expression over  if E is one of:
 2004 SDU Lecture4 Regular Expressions.  2004 SDU 2 Regular expressions A third way to view regular languages. Say that R is a regular expression if.
1 Introduction to the Theory of Computation Regular Expressions.
A new Computation System DFAs, NFs, Λ-NFAs all describe a language in an operational manner. They describe a machine that one can execute in order to recognize.
CSCI 2670 Introduction to Theory of Computing September 11, 2007.
P Symbol Q E(Q) a b a b a b Convert to a DFA: Start state: Final States:
MA/CSSE 474 Theory of Computation Regular Expressions Intro.
Lecture #5 Advanced Computation Theory Finite Automata.
Lecture 15: Theory of Automata:2014 Finite Automata with Output.
Advanced Theory of Computation Lecture # 1-2 Muhammad Ahmad Jan 1.
Cpt S 317: Spring 2009 Reading: Chapter 3
3. Regular Expressions and Languages
Foundations of Computing Science
Regular Expressions.
FORMAL LANGUAGES AND AUTOMATA THEORY
Formal Language & Automata Theory
Lecture 10 Closure Properties of Regular Languages
Single Final State for NFA
REGULAR LANGUAGES AND REGULAR GRAMMARS
Chapter Seven: Regular Expressions
Cpt S 317: Spring 2009 Reading: Chapters 1-4
Definitions Equivalence to Finite Automata
Definitions Equivalence to Finite Automata
Regular Expressions.
Closure Properties of Regular Languages
Chapter 4 Properties of Regular Languages
Definitions Equivalence to Finite Automata
Convert to a DFA: Start state: Final States: P Symbol Q E(Q) a b.
Chapter 1 Regular Language
Cpt S 317: Spring 2009 Reading: Chapters 1-4
CSC312 Automata Theory Kleene’s Theorem Lecture # 12
Kleene’s Theorem (Part-3)
NFAs accept the Regular Languages
Presentation transcript:

1 Regular Expressions Reading: Chapter 3

2 Regular Expressions vs. Finite Automata Offers a declarative way to express the pattern of any string we want to accept E.g., 01*+ 10* Automata => more machine-like Regular expressions => more program syntax-like Unix environments heavily use regular expressions E.g., bash shell, grep, vi & other editors, sed Perl scripting – good for string processing Lexical analyzers such as Lex or Flex

3 Regular Expressions Regular expressions Finite Automata (DFA, NFA,  -NFA) Regular Languages = Automata/machines Syntactical expressions Formal language classes

4 Language Operators Union of two languages: L U M = all strings that are either in L or M Note: A union of two languages produces a third language Concatenation of two languages: L. M = all strings that are of the form xy s.t., x  L and y  M The dot operator is usually omitted i.e., LM is same as L.M

5 Kleene Closure (the * operator) Kleene Closure of a given language L: L 0 = {  } L 1 = {w | for some w  L} L 2 = { w 1 w 2 | w 1  L, w 2  L (duplicates allowed)} L i = { w 1 w 2 …w i | all w’s chosen are  L (duplicates allowed)} (Note: the choice of each w i is independent) L* = U i≥0 L i (arbitrary number of concatenations) Example: Let L = { 1, 00} L 0 = {  } L 1 = {1,00} L 2 = {11,100,001,0000} L 3 = {111,1100,1001,10000,000000,00001,00100,0011} L* = L 0 U L 1 U L 2 U … “i” here refers to how many strings to concatenate from the parent language L to produce strings in the language L i

6 Kleene Closure (special notes) L* is an infinite set iff |L|≥1 and L≠{  } If L={  }, then L* = {  } If L = Φ, then L* = {  } Σ* denotes the set of all words over an alphabet Σ Therefore, an abbreviated way of saying there is an arbitrary language L over an alphabet Σ is: L  Σ* Why?

7 Building Regular Expressions Let E be a regular expression and the language represented by E is L(E) Then: (E) = E L(E + F) = L(E) U L(F) L(E F) = L(E) L(F) L(E*) = (L(E))*

8 Example: how to use these regular expression properties and language operators? L = { w | w is a binary string which does not contain two consecutive 0s or two consecutive 1s anywhere) E.g., w = is in L, while w = is not in L Goal: Build a regular expression for L Four cases for w: Case A: w starts with 0 and |w| is even Case B: w starts with 1 and |w| is even Case C: w starts with 0 and |w| is odd Case D: w starts with 1 and |w| is odd Regular expression for the four cases: Case A: (01)* Case B:(10)* Case C:0(10)* Case D: 1(01)* Since L is the union of all 4 cases: Reg Exp for L = (01)* + (10)* + 0(10)* + 1(01)* If we introduce  then the regular expression can be simplified to: Reg Exp for L = (  +1)(01)*(  +0)

9 Precedence of Operators Highest to lowest * operator (star). (concatenation) + operator Example: 01* + 1 = ( 0. ((1)*) ) + 1

10 Finite Automata (FA) & Regular Expressions (Reg Ex) To show that they are interchangeable, consider the following theorems: Theorem 1: For every DFA A there exists a regular expression R such that L(R)=L(A) Theorem 2: For every regular expression R there exists an  -NFA E such that L(E)=L(R)  -NFA NFA DFAReg Ex Theorem 2 Theorem 1 Proofs in the book Kleene Theorem

11 DFA to RE construction Reg Ex DFA Theorem 1 Example: q0q0 q1q1 q2q ,1 (1*) 0 (0*) 1 (0 + 1)* Informally, trace all distinct paths (traversing cycles only once) from the start state to each of the final states and enumerate all the expressions along the way 1*00*1(0+1)* 00* 1* 1 (0+1)* Q) What is the language?

12 RE to  -NFA construction  -NFA Reg Ex Theorem 2 Example: (0+1)*01(0+1)* 0 1              (0+1)* 01 (0+1)*

13 Algebraic Laws of Regular Expressions Commutative: E+F = F+E Associative: (E+F)+G = E+(F+G) (EF)G = E(FG) Identity: E+Φ = E  E = E  = E Annihilator: ΦE = EΦ = Φ

14 Algebraic Laws… Distributive: E(F+G) = EF + EG (F+G)E = FE+GE Idempotent: E + E = E Involving Kleene closures: (E*)* = E* Φ* =   *=  E + =EE* E? =  +E

15 True or False? Let R and S be two regular expressions. Then: 1. ((R*)*)* = R*? 2. (R+S)* = R* + S*? 3. (RS + R)* RS = (RR*S)*?

16 Summary Regular expressions Equivalence to finite automata DFA to regular expression conversion Regular expression to  -NFA conversion Algebraic laws of regular expressions Unix regular expressions and Lexical Analyzer