SlideShare a Scribd company logo
Convert RE to DFA
1
a
2 b
4
5 6
c
7
𝜀
𝜀
𝜀
8
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
Dstates
𝜀
Transition table of DFA
Given RE = (ab+c)*
Equivalent NFA-ε is:
Convert RE to DFA
𝜀
NFA States
DFA
State
Next State
a b c
Dstates
Transition table of DFA
Initial state of NFA is {9}
Ε-closure(9)={9,7,1,5,10} ------
Where A is the initial state of DFA
A
Mark state A
1
a
2 b
4
5 6
c
7
𝜀
𝜀
𝜀
8
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A   
Dstates
𝜀
Next need to find transition of (A,a) (A,b) (A,c)
Compute 𝜀-closure(move(A, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A
Dstates
𝜀
δ( A,a) = δ( (9,7,1,5,10),a) = {2}
=Ε-closure(2) = {2} ------ B
Compute 𝜀-closure(move(A, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B
{2} B
Dstates
𝜀
δ( A,a) = δ( (9,7,1,5,10),a) = {2}
Ε-closure(2) = {2} ------ B
Compute 𝜀-closure(move(A, b))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B -
{2} B
Dstates
𝜀
Compute 𝜀-closure(move(A, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B -
{2} B
Dstates
𝜀
δ( A,c) = δ( (9,7,1,5,10),c) = {6}
Ε-closure(6) = {6,8,10,7,1,5} ------ C

Mark move(A, c)) C
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B
{6,8,10,7,1,5} C
Dstates
𝜀
Compute 𝜀-closure(move(B, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B -
{6,8,10,7,1,5} C
Dstates
𝜀

Compute 𝜀-closure(move(B, b))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B -
{6,8,10,7,1,5} C
Dstates
𝜀
δ( B,b) = δ( (2,b) = {4}
Ε-closure(4) = {4,8,10,7,1,5} ------ D

Mark (move(B, b))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A  B - C
{2} B  - D
{6,8,10,7,1,5} C
{4,8,7,1,5,10} D
Dstates
𝜀
Mark - (move(B, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C
{4,8,7,1,5,10} D
Dstates
𝜀
Compute 𝜀-closure(move(C, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B
{4,8,7,1,5,10} D
Dstates
𝜀
B
δ( C,a) = δ( (6,8,10,7,1,5)),a) = {2}
Ε-closure(2) = {2} ------
Mark (move(C, b))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B -
{4,8,7,1,5,10} D
Dstates
𝜀
Compute 𝜀-closure(move(C, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B -
{4,8,7,1,5,10} D
Dstates
𝜀
δ( C,c) = δ( (6,8,10,7,1,5)),a) = {6}
Ε-closure(6) = {6,8,10,7,1,5} ------ C
Mark (move(C, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D
Dstates
𝜀
Compute 𝜀-closure(move(D, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D
Dstates
𝜀
δ( D,a) = δ( (6,8,10,7,1,5)),a) = {2}
Ε-closure(2) = {2} ------ B
Mark (move(D, a))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D B
Dstates
𝜀
Mark (move(D, b))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D B -
Dstates
𝜀
Compute 𝜀-closure(move(D, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D B
Dstates
𝜀
C
( D,c) = δ( (4,8,7,1,5,10)),c) = {6}
Ε-closure(6) = {6,8,10,7,1,5} ------
Mark (move(D, c))
1
a
2 b
4
5 6
c
7
𝜀
𝜀
8
𝜀
𝜀
9 𝜀 𝜀
𝜀
10
NFA States
DFA
State
Next State
a b c
{9,7,1,5,10} A B - C
{2} B - D -
{6,8,10,7,1,5} C B - C
{4,8,7,1,5,10} D B - C
Dstates
𝜀
Resultant DFA is
a
B
c
a b
A a D
c
C
c
Transition table Transition diagram is

More Related Content

What's hot

Floyd Warshall Algorithm
Floyd Warshall Algorithm Floyd Warshall Algorithm
Floyd Warshall Algorithm
Imamul Kadir
 
Automata theory
Automata theoryAutomata theory
Automata theory
Pardeep Vats
 
Chomsky Normal Form
Chomsky Normal FormChomsky Normal Form
Chomsky Normal Form
Jasmine Peniel
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
Shiraz316
 
Context Free Grammar
Context Free GrammarContext Free Grammar
Context Free Grammar
Akhil Kaushik
 
Regular expressions-Theory of computation
Regular expressions-Theory of computationRegular expressions-Theory of computation
Regular expressions-Theory of computation
Bipul Roy Bpl
 
Regular Expressions To Finite Automata
Regular Expressions To Finite AutomataRegular Expressions To Finite Automata
Regular Expressions To Finite Automata
International Institute of Information Technology (I²IT)
 
Ambiguous & Unambiguous Grammar
Ambiguous & Unambiguous GrammarAmbiguous & Unambiguous Grammar
Ambiguous & Unambiguous Grammar
MdImamHasan1
 
NFA & DFA
NFA & DFANFA & DFA
NFA & DFA
Akhil Kaushik
 
TOC 2 | Deterministic Finite Automata
TOC 2 | Deterministic Finite AutomataTOC 2 | Deterministic Finite Automata
TOC 2 | Deterministic Finite Automata
Mohammad Imam Hossain
 
AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
suthi
 
Pumping lemma Theory Of Automata
Pumping lemma Theory Of AutomataPumping lemma Theory Of Automata
Pumping lemma Theory Of Automata
hafizhamza0322
 
Chomsky classification of Language
Chomsky classification of LanguageChomsky classification of Language
Chomsky classification of Language
Dipankar Boruah
 
Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1
Abhimanyu Mishra
 
Automata theory -- NFA and DFA construction
Automata theory -- NFA and DFA  constructionAutomata theory -- NFA and DFA  construction
Automata theory -- NFA and DFA construction
Akila Krishnamoorthy
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
Rahul Narang
 
String Matching with Finite Automata,Aho corasick,
String Matching with Finite Automata,Aho corasick,String Matching with Finite Automata,Aho corasick,
String Matching with Finite Automata,Aho corasick,8neutron8
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
Marina Santini
 
Regular Expression to Finite Automata
Regular Expression to Finite AutomataRegular Expression to Finite Automata
Regular Expression to Finite Automata
Archana Gopinath
 

What's hot (20)

Floyd Warshall Algorithm
Floyd Warshall Algorithm Floyd Warshall Algorithm
Floyd Warshall Algorithm
 
Automata theory
Automata theoryAutomata theory
Automata theory
 
Chomsky Normal Form
Chomsky Normal FormChomsky Normal Form
Chomsky Normal Form
 
Finite automata
Finite automataFinite automata
Finite automata
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
 
Context Free Grammar
Context Free GrammarContext Free Grammar
Context Free Grammar
 
Regular expressions-Theory of computation
Regular expressions-Theory of computationRegular expressions-Theory of computation
Regular expressions-Theory of computation
 
Regular Expressions To Finite Automata
Regular Expressions To Finite AutomataRegular Expressions To Finite Automata
Regular Expressions To Finite Automata
 
Ambiguous & Unambiguous Grammar
Ambiguous & Unambiguous GrammarAmbiguous & Unambiguous Grammar
Ambiguous & Unambiguous Grammar
 
NFA & DFA
NFA & DFANFA & DFA
NFA & DFA
 
TOC 2 | Deterministic Finite Automata
TOC 2 | Deterministic Finite AutomataTOC 2 | Deterministic Finite Automata
TOC 2 | Deterministic Finite Automata
 
AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
 
Pumping lemma Theory Of Automata
Pumping lemma Theory Of AutomataPumping lemma Theory Of Automata
Pumping lemma Theory Of Automata
 
Chomsky classification of Language
Chomsky classification of LanguageChomsky classification of Language
Chomsky classification of Language
 
Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1Theory of Automata and formal languages unit 1
Theory of Automata and formal languages unit 1
 
Automata theory -- NFA and DFA construction
Automata theory -- NFA and DFA  constructionAutomata theory -- NFA and DFA  construction
Automata theory -- NFA and DFA construction
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 
String Matching with Finite Automata,Aho corasick,
String Matching with Finite Automata,Aho corasick,String Matching with Finite Automata,Aho corasick,
String Matching with Finite Automata,Aho corasick,
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
 
Regular Expression to Finite Automata
Regular Expression to Finite AutomataRegular Expression to Finite Automata
Regular Expression to Finite Automata
 

Similar to Automata theory - RE to DFA Conversion

4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
venkatapranaykumarGa
 
Sesión de aprendizaje de Radicación Algebra pre u ccesa007
Sesión de aprendizaje de Radicación  Algebra pre u  ccesa007Sesión de aprendizaje de Radicación  Algebra pre u  ccesa007
Sesión de aprendizaje de Radicación Algebra pre u ccesa007
Demetrio Ccesa Rayme
 
Running Free with the Monads
Running Free with the MonadsRunning Free with the Monads
Running Free with the Monads
kenbot
 
Lecture 17- F19.pdf
Lecture 17- F19.pdfLecture 17- F19.pdf
Lecture 17- F19.pdf
Abrar11535
 
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1zukun
 
kmaps
 kmaps kmaps
kmaps
Unsa Shakir
 
Nondeterministic Finite Automata AFN.pdf
Nondeterministic Finite Automata AFN.pdfNondeterministic Finite Automata AFN.pdf
Nondeterministic Finite Automata AFN.pdf
SergioUlisesRojasAla
 
1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa
Sampath Kumar S
 
Mid-Term ExamName___________________________________MU.docx
Mid-Term ExamName___________________________________MU.docxMid-Term ExamName___________________________________MU.docx
Mid-Term ExamName___________________________________MU.docx
annandleola
 
Ch03 lexical analysis nfa_2_dfa_2019
Ch03 lexical analysis nfa_2_dfa_2019Ch03 lexical analysis nfa_2_dfa_2019
Ch03 lexical analysis nfa_2_dfa_2019
Bushra Al-Anesi
 
Lecture 03 lexical analysis
Lecture 03 lexical analysisLecture 03 lexical analysis
Lecture 03 lexical analysis
Iffat Anjum
 
Strongly Connected Components
Strongly Connected Components Strongly Connected Components
Strongly Connected Components
Md. Shafiuzzaman Hira
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
Kmaps.ppt
AshwiniMate10
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
Kmaps.ppt
ShaekAhmed
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
Prof. Dr. K. Adisesha
 
TOC Solutions-Adi.pdf
TOC Solutions-Adi.pdfTOC Solutions-Adi.pdf
TOC Solutions-Adi.pdf
AdiseshaK
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
AdiseshaK
 

Similar to Automata theory - RE to DFA Conversion (20)

4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
4-Regular expression to Deterministic Finite Automata (Direct method)-05-05-2...
 
Nfa vs dfa
Nfa vs dfaNfa vs dfa
Nfa vs dfa
 
Sesión de aprendizaje de Radicación Algebra pre u ccesa007
Sesión de aprendizaje de Radicación  Algebra pre u  ccesa007Sesión de aprendizaje de Radicación  Algebra pre u  ccesa007
Sesión de aprendizaje de Radicación Algebra pre u ccesa007
 
Ai4 heuristic2
Ai4 heuristic2Ai4 heuristic2
Ai4 heuristic2
 
Running Free with the Monads
Running Free with the MonadsRunning Free with the Monads
Running Free with the Monads
 
Lecture 17- F19.pdf
Lecture 17- F19.pdfLecture 17- F19.pdf
Lecture 17- F19.pdf
 
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 1
 
kmaps
 kmaps kmaps
kmaps
 
Nondeterministic Finite Automata AFN.pdf
Nondeterministic Finite Automata AFN.pdfNondeterministic Finite Automata AFN.pdf
Nondeterministic Finite Automata AFN.pdf
 
1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa1.7. eqivalence of nfa and dfa
1.7. eqivalence of nfa and dfa
 
Mid-Term ExamName___________________________________MU.docx
Mid-Term ExamName___________________________________MU.docxMid-Term ExamName___________________________________MU.docx
Mid-Term ExamName___________________________________MU.docx
 
Ch03 lexical analysis nfa_2_dfa_2019
Ch03 lexical analysis nfa_2_dfa_2019Ch03 lexical analysis nfa_2_dfa_2019
Ch03 lexical analysis nfa_2_dfa_2019
 
Lecture 03 lexical analysis
Lecture 03 lexical analysisLecture 03 lexical analysis
Lecture 03 lexical analysis
 
Strongly Connected Components
Strongly Connected Components Strongly Connected Components
Strongly Connected Components
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
Kmaps.ppt
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
Kmaps.ppt
 
Kmaps.ppt
Kmaps.pptKmaps.ppt
Kmaps.ppt
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
 
TOC Solutions-Adi.pdf
TOC Solutions-Adi.pdfTOC Solutions-Adi.pdf
TOC Solutions-Adi.pdf
 
TOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdfTOC_Solutions-Adi.pdf
TOC_Solutions-Adi.pdf
 

More from Akila Krishnamoorthy

Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
Akila Krishnamoorthy
 
Automata theory - Push Down Automata (PDA)
Automata theory - Push Down Automata (PDA)Automata theory - Push Down Automata (PDA)
Automata theory - Push Down Automata (PDA)
Akila Krishnamoorthy
 
Automata theory -RE to NFA-ε
Automata theory -RE to  NFA-εAutomata theory -RE to  NFA-ε
Automata theory -RE to NFA-ε
Akila Krishnamoorthy
 
Automata theory - NFA ε to DFA Conversion
Automata theory - NFA ε to DFA ConversionAutomata theory - NFA ε to DFA Conversion
Automata theory - NFA ε to DFA Conversion
Akila Krishnamoorthy
 
Automata theory - NFA to DFA Conversion
Automata theory - NFA to DFA ConversionAutomata theory - NFA to DFA Conversion
Automata theory - NFA to DFA Conversion
Akila Krishnamoorthy
 
Intro to automata theory
Intro to automata theoryIntro to automata theory
Intro to automata theory
Akila Krishnamoorthy
 
Automata theory -Conversion of ε nfa to nfa
Automata theory -Conversion of ε nfa to nfaAutomata theory -Conversion of ε nfa to nfa
Automata theory -Conversion of ε nfa to nfa
Akila Krishnamoorthy
 
Automata theory - CFG and normal forms
Automata theory - CFG and normal formsAutomata theory - CFG and normal forms
Automata theory - CFG and normal forms
Akila Krishnamoorthy
 
Slr parser
Slr parserSlr parser
CLR AND LALR PARSER
CLR AND LALR PARSERCLR AND LALR PARSER
CLR AND LALR PARSER
Akila Krishnamoorthy
 
Linear data structure concepts
Linear data structure conceptsLinear data structure concepts
Linear data structure concepts
Akila Krishnamoorthy
 
Keypoints c strings
Keypoints   c stringsKeypoints   c strings
Keypoints c strings
Akila Krishnamoorthy
 

More from Akila Krishnamoorthy (12)

Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
 
Automata theory - Push Down Automata (PDA)
Automata theory - Push Down Automata (PDA)Automata theory - Push Down Automata (PDA)
Automata theory - Push Down Automata (PDA)
 
Automata theory -RE to NFA-ε
Automata theory -RE to  NFA-εAutomata theory -RE to  NFA-ε
Automata theory -RE to NFA-ε
 
Automata theory - NFA ε to DFA Conversion
Automata theory - NFA ε to DFA ConversionAutomata theory - NFA ε to DFA Conversion
Automata theory - NFA ε to DFA Conversion
 
Automata theory - NFA to DFA Conversion
Automata theory - NFA to DFA ConversionAutomata theory - NFA to DFA Conversion
Automata theory - NFA to DFA Conversion
 
Intro to automata theory
Intro to automata theoryIntro to automata theory
Intro to automata theory
 
Automata theory -Conversion of ε nfa to nfa
Automata theory -Conversion of ε nfa to nfaAutomata theory -Conversion of ε nfa to nfa
Automata theory -Conversion of ε nfa to nfa
 
Automata theory - CFG and normal forms
Automata theory - CFG and normal formsAutomata theory - CFG and normal forms
Automata theory - CFG and normal forms
 
Slr parser
Slr parserSlr parser
Slr parser
 
CLR AND LALR PARSER
CLR AND LALR PARSERCLR AND LALR PARSER
CLR AND LALR PARSER
 
Linear data structure concepts
Linear data structure conceptsLinear data structure concepts
Linear data structure concepts
 
Keypoints c strings
Keypoints   c stringsKeypoints   c strings
Keypoints c strings
 

Recently uploaded

在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
obonagu
 
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
H.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdfH.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdf
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
MLILAB
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
TeeVichai
 
block diagram and signal flow graph representation
block diagram and signal flow graph representationblock diagram and signal flow graph representation
block diagram and signal flow graph representation
Divya Somashekar
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
BrazilAccount1
 
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&BDesign and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
Sreedhar Chowdam
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
Jayaprasanna4
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
gerogepatton
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
R&R Consult
 
weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
Pratik Pawar
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
Amil Baba Dawood bangali
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
ankuprajapati0525
 
ML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptxML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptx
Vijay Dialani, PhD
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
Robbie Edward Sayers
 
space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
ongomchris
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
AafreenAbuthahir2
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
SupreethSP4
 
Gen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdfGen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdf
gdsczhcet
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Dr.Costas Sachpazis
 

Recently uploaded (20)

在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
 
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
H.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdfH.Seo,  ICLR 2024, MLILAB,  KAIST AI.pdf
H.Seo, ICLR 2024, MLILAB, KAIST AI.pdf
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
 
block diagram and signal flow graph representation
block diagram and signal flow graph representationblock diagram and signal flow graph representation
block diagram and signal flow graph representation
 
AP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specificAP LAB PPT.pdf ap lab ppt no title specific
AP LAB PPT.pdf ap lab ppt no title specific
 
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&BDesign and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
Design and Analysis of Algorithms-DP,Backtracking,Graphs,B&B
 
ethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.pptethical hacking-mobile hacking methods.ppt
ethical hacking-mobile hacking methods.ppt
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
 
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxCFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptx
 
weather web application report.pdf
weather web application report.pdfweather web application report.pdf
weather web application report.pdf
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
 
ML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptxML for identifying fraud using open blockchain data.pptx
ML for identifying fraud using open blockchain data.pptx
 
HYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generationHYDROPOWER - Hydroelectric power generation
HYDROPOWER - Hydroelectric power generation
 
space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
 
Gen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdfGen AI Study Jams _ For the GDSC Leads in India.pdf
Gen AI Study Jams _ For the GDSC Leads in India.pdf
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
 

Automata theory - RE to DFA Conversion

  • 1. Convert RE to DFA 1 a 2 b 4 5 6 c 7 𝜀 𝜀 𝜀 8 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c Dstates 𝜀 Transition table of DFA Given RE = (ab+c)* Equivalent NFA-ε is:
  • 2. Convert RE to DFA 𝜀 NFA States DFA State Next State a b c Dstates Transition table of DFA Initial state of NFA is {9} Ε-closure(9)={9,7,1,5,10} ------ Where A is the initial state of DFA A
  • 3. Mark state A 1 a 2 b 4 5 6 c 7 𝜀 𝜀 𝜀 8 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A    Dstates 𝜀 Next need to find transition of (A,a) (A,b) (A,c)
  • 4. Compute 𝜀-closure(move(A, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A Dstates 𝜀 δ( A,a) = δ( (9,7,1,5,10),a) = {2} =Ε-closure(2) = {2} ------ B
  • 5. Compute 𝜀-closure(move(A, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B {2} B Dstates 𝜀 δ( A,a) = δ( (9,7,1,5,10),a) = {2} Ε-closure(2) = {2} ------ B
  • 6. Compute 𝜀-closure(move(A, b)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - {2} B Dstates 𝜀
  • 7. Compute 𝜀-closure(move(A, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - {2} B Dstates 𝜀 δ( A,c) = δ( (9,7,1,5,10),c) = {6} Ε-closure(6) = {6,8,10,7,1,5} ------ C 
  • 8. Mark move(A, c)) C 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B {6,8,10,7,1,5} C Dstates 𝜀
  • 9. Compute 𝜀-closure(move(B, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - {6,8,10,7,1,5} C Dstates 𝜀 
  • 10. Compute 𝜀-closure(move(B, b)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - {6,8,10,7,1,5} C Dstates 𝜀 δ( B,b) = δ( (2,b) = {4} Ε-closure(4) = {4,8,10,7,1,5} ------ D 
  • 11. Mark (move(B, b)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A  B - C {2} B  - D {6,8,10,7,1,5} C {4,8,7,1,5,10} D Dstates 𝜀
  • 12. Mark - (move(B, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C {4,8,7,1,5,10} D Dstates 𝜀
  • 13. Compute 𝜀-closure(move(C, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B {4,8,7,1,5,10} D Dstates 𝜀 B δ( C,a) = δ( (6,8,10,7,1,5)),a) = {2} Ε-closure(2) = {2} ------
  • 14. Mark (move(C, b)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - {4,8,7,1,5,10} D Dstates 𝜀
  • 15. Compute 𝜀-closure(move(C, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - {4,8,7,1,5,10} D Dstates 𝜀 δ( C,c) = δ( (6,8,10,7,1,5)),a) = {6} Ε-closure(6) = {6,8,10,7,1,5} ------ C
  • 16. Mark (move(C, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D Dstates 𝜀
  • 17. Compute 𝜀-closure(move(D, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D Dstates 𝜀 δ( D,a) = δ( (6,8,10,7,1,5)),a) = {2} Ε-closure(2) = {2} ------ B
  • 18. Mark (move(D, a)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D B Dstates 𝜀
  • 19. Mark (move(D, b)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D B - Dstates 𝜀
  • 20. Compute 𝜀-closure(move(D, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D B Dstates 𝜀 C ( D,c) = δ( (4,8,7,1,5,10)),c) = {6} Ε-closure(6) = {6,8,10,7,1,5} ------
  • 21. Mark (move(D, c)) 1 a 2 b 4 5 6 c 7 𝜀 𝜀 8 𝜀 𝜀 9 𝜀 𝜀 𝜀 10 NFA States DFA State Next State a b c {9,7,1,5,10} A B - C {2} B - D - {6,8,10,7,1,5} C B - C {4,8,7,1,5,10} D B - C Dstates 𝜀
  • 22. Resultant DFA is a B c a b A a D c C c Transition table Transition diagram is