{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

lec04 - Equivalence of DFA and Regular Expressions CSCI...

Info iconThis preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon
1/19 Equivalence of DFA and Regular Expressions CSCI 3130 Formal Languages and Automata Theory Siu On CHAN Chinese University of Hong Kong Fall 2015
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
2/19 Three ways of doing it [ = { Σ * | ends in 01 } Σ = { 0 , 1 } z 0 z 1 z 2 1 0 0 1 0 1 z 0 z 1 z 2 0,1 0 1 ( 0 + 1 ) * 01 DFA NFA regular expressions
Background image of page 2
3/19 They are equally powerful DFA NFA regular expressions regular languages
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
4/19 Roadmap regular expressions NFA NFA without ε DFA 3 3
Background image of page 4
5/19 Examples: regular expression NFA ~ 1 = 0 z 0 z 1 0 ~ 2 = 01 z 0 z 1 z 2 0 1
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
6/19 Examples: regular expression NFA ~ 3 = 0 + 01 NFA 3 z 0 z 1 z 2 z 2 z 3 z 4 z 5 z 6 ε 0 ε ε 0 1 ε ~ 4 = ( 0 + 01 ) * z 0 0 NFA 3 z 0 1 ε ε ε ε
Background image of page 6
7/19 Regular expressions In general, how do we convert a regular expression to an NFA? A regular expression over Σ is an expression formed by the following rules I The symbols and ε are regular expressions I Every a in Σ is a regular expression I If ~ asd ¢ are regular expressions, so are ~ + ¢ , and ~ *
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
8/19 General method regular expression S NFA z 0 ε z 0 a Σ z 0 z 1 a
Background image of page 8
9/19 General method regular expression S
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 10
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}