SlideShare a Scribd company logo
Theorem: Use the construction given in Theorem 1.39 to convert the following two
nondeterministic finite automata to equivalent deterministic finite automata. (a) (b)
Every nondeterministic finite automaton has an equivalent deterministic finite automaton.
PROOF IDEA If a language is recognized by an NFA, then we must show the existence of a
DFA that also recognizes it. The idea is to convert the NFA into an equivalent DFA that
simulates the NFA. Recall the "reader as automaton" strategy for designing finite automata. How
would you simulate the NFA if you were pretending to be a DFA? What do you need to keep
track of as the input string is processed? In the examples of NFAs, you kept track of the various
branches of the computation by placing a finger on each state that could be active at given points
in the input. You updated the simulation by moving, adding, and removing fingers according to
the way the NFA operates. All you needed to keep track of was the set of states having fingers on
them. If k is the number of states of the NFA, it has 2k subsets of states. Each subset corresponds
to one of the possibilities that the DFA must remember, so the DFA simulating the NFA will
have 2k states. Now we need to figure out which will be the start state and accept states of the
DFA, and what will be its transition function. We can discuss this more easily after setting up
some formal notation.

More Related Content

Similar to Theorem Use the construction given in Theorem 1.39 to convert the f.pdf

AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
suthi
 
Compiler design important questions
Compiler design   important questionsCompiler design   important questions
Compiler design important questions
akila viji
 
Ch 2.pptx
Ch 2.pptxCh 2.pptx
Ch 2.pptx
woldu2
 
String Analysis for JavaScript Programs
String Analysis for JavaScript ProgramsString Analysis for JavaScript Programs
String Analysis for JavaScript ProgramsSerena King
 
Pcd question bank
Pcd question bank Pcd question bank
Pcd question bank
Sumathi Gnanasekaran
 
COMPILER DESIGN- Introduction & Lexical Analysis:
COMPILER DESIGN- Introduction & Lexical Analysis: COMPILER DESIGN- Introduction & Lexical Analysis:
COMPILER DESIGN- Introduction & Lexical Analysis:
Jyothishmathi Institute of Technology and Science Karimnagar
 
MidtermI-review.pptx
MidtermI-review.pptxMidtermI-review.pptx
MidtermI-review.pptx
amara jyothi
 

Similar to Theorem Use the construction given in Theorem 1.39 to convert the f.pdf (9)

AUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTESAUTOMATA THEORY - SHORT NOTES
AUTOMATA THEORY - SHORT NOTES
 
Alp 05
Alp 05Alp 05
Alp 05
 
Alp 05
Alp 05Alp 05
Alp 05
 
Compiler design important questions
Compiler design   important questionsCompiler design   important questions
Compiler design important questions
 
Ch 2.pptx
Ch 2.pptxCh 2.pptx
Ch 2.pptx
 
String Analysis for JavaScript Programs
String Analysis for JavaScript ProgramsString Analysis for JavaScript Programs
String Analysis for JavaScript Programs
 
Pcd question bank
Pcd question bank Pcd question bank
Pcd question bank
 
COMPILER DESIGN- Introduction & Lexical Analysis:
COMPILER DESIGN- Introduction & Lexical Analysis: COMPILER DESIGN- Introduction & Lexical Analysis:
COMPILER DESIGN- Introduction & Lexical Analysis:
 
MidtermI-review.pptx
MidtermI-review.pptxMidtermI-review.pptx
MidtermI-review.pptx
 

More from preetineeteshhiwrale

There are three primary uses of GDP Data as a measurement tool1. .pdf
There are three primary uses of GDP Data as a measurement tool1. .pdfThere are three primary uses of GDP Data as a measurement tool1. .pdf
There are three primary uses of GDP Data as a measurement tool1. .pdf
preetineeteshhiwrale
 
The table below shows the values for several different components of.pdf
The table below shows the values for several different components of.pdfThe table below shows the values for several different components of.pdf
The table below shows the values for several different components of.pdf
preetineeteshhiwrale
 
The paper should address the following1. From the course Section .pdf
The paper should address the following1. From the course Section .pdfThe paper should address the following1. From the course Section .pdf
The paper should address the following1. From the course Section .pdf
preetineeteshhiwrale
 
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdfThe Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
preetineeteshhiwrale
 
Task 3 only all the partusing google colab import pandas as pd impo.pdf
Task 3 only all the partusing google colab  import pandas as pd impo.pdfTask 3 only all the partusing google colab  import pandas as pd impo.pdf
Task 3 only all the partusing google colab import pandas as pd impo.pdf
preetineeteshhiwrale
 
Students are required to Choose a business of your choice and follow .pdf
Students are required to Choose a business of your choice and follow .pdfStudents are required to Choose a business of your choice and follow .pdf
Students are required to Choose a business of your choice and follow .pdf
preetineeteshhiwrale
 
Students are required toSelect a company that is publicly traded .pdf
Students are required toSelect a company that is publicly traded .pdfStudents are required toSelect a company that is publicly traded .pdf
Students are required toSelect a company that is publicly traded .pdf
preetineeteshhiwrale
 
To simulate an ATM machine, create an application or class called ATMM.pdf
To simulate an ATM machine, create an application or class called ATMM.pdfTo simulate an ATM machine, create an application or class called ATMM.pdf
To simulate an ATM machine, create an application or class called ATMM.pdf
preetineeteshhiwrale
 
This C++ program keeps giving me the wrong median. #include ios.pdf
This C++ program keeps giving me the wrong median. #include ios.pdfThis C++ program keeps giving me the wrong median. #include ios.pdf
This C++ program keeps giving me the wrong median. #include ios.pdf
preetineeteshhiwrale
 

More from preetineeteshhiwrale (9)

There are three primary uses of GDP Data as a measurement tool1. .pdf
There are three primary uses of GDP Data as a measurement tool1. .pdfThere are three primary uses of GDP Data as a measurement tool1. .pdf
There are three primary uses of GDP Data as a measurement tool1. .pdf
 
The table below shows the values for several different components of.pdf
The table below shows the values for several different components of.pdfThe table below shows the values for several different components of.pdf
The table below shows the values for several different components of.pdf
 
The paper should address the following1. From the course Section .pdf
The paper should address the following1. From the course Section .pdfThe paper should address the following1. From the course Section .pdf
The paper should address the following1. From the course Section .pdf
 
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdfThe Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
The Best Camera Is the One Thats With YouThe early 2000s saw a .pdf
 
Task 3 only all the partusing google colab import pandas as pd impo.pdf
Task 3 only all the partusing google colab  import pandas as pd impo.pdfTask 3 only all the partusing google colab  import pandas as pd impo.pdf
Task 3 only all the partusing google colab import pandas as pd impo.pdf
 
Students are required to Choose a business of your choice and follow .pdf
Students are required to Choose a business of your choice and follow .pdfStudents are required to Choose a business of your choice and follow .pdf
Students are required to Choose a business of your choice and follow .pdf
 
Students are required toSelect a company that is publicly traded .pdf
Students are required toSelect a company that is publicly traded .pdfStudents are required toSelect a company that is publicly traded .pdf
Students are required toSelect a company that is publicly traded .pdf
 
To simulate an ATM machine, create an application or class called ATMM.pdf
To simulate an ATM machine, create an application or class called ATMM.pdfTo simulate an ATM machine, create an application or class called ATMM.pdf
To simulate an ATM machine, create an application or class called ATMM.pdf
 
This C++ program keeps giving me the wrong median. #include ios.pdf
This C++ program keeps giving me the wrong median. #include ios.pdfThis C++ program keeps giving me the wrong median. #include ios.pdf
This C++ program keeps giving me the wrong median. #include ios.pdf
 

Recently uploaded

The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
Israel Genealogy Research Association
 
Reflective and Evaluative Practice...pdf
Reflective and Evaluative Practice...pdfReflective and Evaluative Practice...pdf
Reflective and Evaluative Practice...pdf
amberjdewit93
 
Group Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana BuscigliopptxGroup Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana Buscigliopptx
ArianaBusciglio
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
Wasim Ak
 
DRUGS AND ITS classification slide share
DRUGS AND ITS classification slide shareDRUGS AND ITS classification slide share
DRUGS AND ITS classification slide share
taiba qazi
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
Academy of Science of South Africa
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
Priyankaranawat4
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
eBook.com.bd (প্রয়োজনীয় বাংলা বই)
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Dr. Vinod Kumar Kanvaria
 
Reflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPointReflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPoint
amberjdewit93
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.
Dr. Shivangi Singh Parihar
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
Scholarhat
 
Delivering Micro-Credentials in Technical and Vocational Education and Training
Delivering Micro-Credentials in Technical and Vocational Education and TrainingDelivering Micro-Credentials in Technical and Vocational Education and Training
Delivering Micro-Credentials in Technical and Vocational Education and Training
AG2 Design
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
goswamiyash170123
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
tarandeep35
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
IreneSebastianRueco1
 

Recently uploaded (20)

The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
 
Reflective and Evaluative Practice...pdf
Reflective and Evaluative Practice...pdfReflective and Evaluative Practice...pdf
Reflective and Evaluative Practice...pdf
 
Group Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana BuscigliopptxGroup Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana Buscigliopptx
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
 
DRUGS AND ITS classification slide share
DRUGS AND ITS classification slide shareDRUGS AND ITS classification slide share
DRUGS AND ITS classification slide share
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
 
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdfANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
ANATOMY AND BIOMECHANICS OF HIP JOINT.pdf
 
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptxChapter 4 - Islamic Financial Institutions in Malaysia.pptx
Chapter 4 - Islamic Financial Institutions in Malaysia.pptx
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
 
Reflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPointReflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPoint
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.
 
Azure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHatAzure Interview Questions and Answers PDF By ScholarHat
Azure Interview Questions and Answers PDF By ScholarHat
 
Delivering Micro-Credentials in Technical and Vocational Education and Training
Delivering Micro-Credentials in Technical and Vocational Education and TrainingDelivering Micro-Credentials in Technical and Vocational Education and Training
Delivering Micro-Credentials in Technical and Vocational Education and Training
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
 

Theorem Use the construction given in Theorem 1.39 to convert the f.pdf

  • 1. Theorem: Use the construction given in Theorem 1.39 to convert the following two nondeterministic finite automata to equivalent deterministic finite automata. (a) (b) Every nondeterministic finite automaton has an equivalent deterministic finite automaton. PROOF IDEA If a language is recognized by an NFA, then we must show the existence of a DFA that also recognizes it. The idea is to convert the NFA into an equivalent DFA that simulates the NFA. Recall the "reader as automaton" strategy for designing finite automata. How would you simulate the NFA if you were pretending to be a DFA? What do you need to keep track of as the input string is processed? In the examples of NFAs, you kept track of the various branches of the computation by placing a finger on each state that could be active at given points in the input. You updated the simulation by moving, adding, and removing fingers according to the way the NFA operates. All you needed to keep track of was the set of states having fingers on them. If k is the number of states of the NFA, it has 2k subsets of states. Each subset corresponds to one of the possibilities that the DFA must remember, so the DFA simulating the NFA will have 2k states. Now we need to figure out which will be the start state and accept states of the DFA, and what will be its transition function. We can discuss this more easily after setting up some formal notation.