SlideShare a Scribd company logo
1 of 7
Theory of Computation
References:
1. Introduction to the Theory of computation:
Michael Sipser
2. Theory of computer Science: K.L.P Mishra,
N. Chandrasekaran
Course Teacher : Prof Dr. Md. Monzur Morshed
Introduction
Theory of Computation comprises the
fundamental mathematical properties of
computer hardware, software, and certain
applications thereof.
The objective of this course is to determine
what can and cannot be computed, how
quickly, with how much memory, and on
which type of computational model?
Central areas of the theory of
computation
Three areas
• Automata
• Computability
• Complexity
Complexity
Computer problems come in different
varieties; some are easy (ex: sorting), and
some are hard (ex: scheduling).
In complexity theory, the objective is to
classify problems as easy ones and
hard ones.
One achievement of complexity theory is,
researchers have discovered an elegant
scheme for classifying problems according
to their computational difficulty.
Computability
Certain basic problems cannot be solved by
computer.
In computability theory the classification
of problems is by those that are
solvable and those that are not.
Computability theory introduces several of
the concepts used in complexity theory.
Automata
Automata theory deals with the definitions
and properties of mathematical models of
computation.
These models play a role in several applied
areas of computer science.
One model, called the finite automation, is
used in text processing, compiler, and
hardware design.
Another model, called the context-free
grammar, is used in programming
language and artificial intelligence.

More Related Content

Similar to Theory of Computation.ppt

KBS Lecture Notes
KBS Lecture NotesKBS Lecture Notes
KBS Lecture Notes
butest
 
Classic corporate teach a course slides.pptx
Classic corporate teach a course slides.pptxClassic corporate teach a course slides.pptx
Classic corporate teach a course slides.pptx
tofikjamaltegal
 
Work in progress mechatronics1
Work in progress mechatronics1Work in progress mechatronics1
Work in progress mechatronics1
Pana Mann
 

Similar to Theory of Computation.ppt (20)

ADA complete notes
ADA complete notesADA complete notes
ADA complete notes
 
CS8451 DAA Unit-I.pptx
CS8451 DAA Unit-I.pptxCS8451 DAA Unit-I.pptx
CS8451 DAA Unit-I.pptx
 
Dms introduction Sharmila Chidaravalli
Dms introduction Sharmila ChidaravalliDms introduction Sharmila Chidaravalli
Dms introduction Sharmila Chidaravalli
 
Foundation for computational computing
Foundation for computational computingFoundation for computational computing
Foundation for computational computing
 
KBS Lecture Notes
KBS Lecture NotesKBS Lecture Notes
KBS Lecture Notes
 
Course outlin for to c
Course outlin for to cCourse outlin for to c
Course outlin for to c
 
A Competence Theory Approach To Problem Solving Method Construction
A Competence Theory Approach To Problem Solving Method ConstructionA Competence Theory Approach To Problem Solving Method Construction
A Competence Theory Approach To Problem Solving Method Construction
 
Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...Computational Thinking in the Workforce and Next Generation Science Standards...
Computational Thinking in the Workforce and Next Generation Science Standards...
 
M techcse parttime_syallabus
M techcse parttime_syallabusM techcse parttime_syallabus
M techcse parttime_syallabus
 
An Overview of Hard Computing
An Overview of Hard ComputingAn Overview of Hard Computing
An Overview of Hard Computing
 
Scientific methods in computer science
Scientific methods in computer scienceScientific methods in computer science
Scientific methods in computer science
 
Soft computing01
Soft computing01Soft computing01
Soft computing01
 
Classic corporate teach a course slides.pptx
Classic corporate teach a course slides.pptxClassic corporate teach a course slides.pptx
Classic corporate teach a course slides.pptx
 
34.pdf
34.pdf34.pdf
34.pdf
 
DS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .pptDS Lecture-1 about discrete structure .ppt
DS Lecture-1 about discrete structure .ppt
 
SBSE-class1.pdf
SBSE-class1.pdfSBSE-class1.pdf
SBSE-class1.pdf
 
Soft computing
Soft computingSoft computing
Soft computing
 
(3500 words)humans are increasingly dependent on computer system
(3500 words)humans are increasingly dependent on computer system(3500 words)humans are increasingly dependent on computer system
(3500 words)humans are increasingly dependent on computer system
 
Find your interest
Find your interestFind your interest
Find your interest
 
Work in progress mechatronics1
Work in progress mechatronics1Work in progress mechatronics1
Work in progress mechatronics1
 

Recently uploaded

SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
Peter Brusilovsky
 
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
AnaAcapella
 
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
EADTU
 
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lessonQUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
httgc7rh9c
 

Recently uploaded (20)

Ernest Hemingway's For Whom the Bell Tolls
Ernest Hemingway's For Whom the Bell TollsErnest Hemingway's For Whom the Bell Tolls
Ernest Hemingway's For Whom the Bell Tolls
 
VAMOS CUIDAR DO NOSSO PLANETA! .
VAMOS CUIDAR DO NOSSO PLANETA!                    .VAMOS CUIDAR DO NOSSO PLANETA!                    .
VAMOS CUIDAR DO NOSSO PLANETA! .
 
OSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & SystemsOSCM Unit 2_Operations Processes & Systems
OSCM Unit 2_Operations Processes & Systems
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
 
Including Mental Health Support in Project Delivery, 14 May.pdf
Including Mental Health Support in Project Delivery, 14 May.pdfIncluding Mental Health Support in Project Delivery, 14 May.pdf
Including Mental Health Support in Project Delivery, 14 May.pdf
 
SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
 
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptxHMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
HMCS Max Bernays Pre-Deployment Brief (May 2024).pptx
 
Simple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdfSimple, Complex, and Compound Sentences Exercises.pdf
Simple, Complex, and Compound Sentences Exercises.pdf
 
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPSSpellings Wk 4 and Wk 5 for Grade 4 at CAPS
Spellings Wk 4 and Wk 5 for Grade 4 at CAPS
 
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptxMichaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
Michaelis Menten Equation and Estimation Of Vmax and Tmax.pptx
 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
 
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfUnit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
 
Observing-Correct-Grammar-in-Making-Definitions.pptx
Observing-Correct-Grammar-in-Making-Definitions.pptxObserving-Correct-Grammar-in-Making-Definitions.pptx
Observing-Correct-Grammar-in-Making-Definitions.pptx
 
Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111Details on CBSE Compartment Exam.pptx1111
Details on CBSE Compartment Exam.pptx1111
 
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
Transparency, Recognition and the role of eSealing - Ildiko Mazar and Koen No...
 
What is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptxWhat is 3 Way Matching Process in Odoo 17.pptx
What is 3 Way Matching Process in Odoo 17.pptx
 
Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...
 
Tatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf artsTatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf arts
 
How to Manage Call for Tendor in Odoo 17
How to Manage Call for Tendor in Odoo 17How to Manage Call for Tendor in Odoo 17
How to Manage Call for Tendor in Odoo 17
 
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lessonQUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
QUATER-1-PE-HEALTH-LC2- this is just a sample of unpacked lesson
 

Theory of Computation.ppt

  • 1. Theory of Computation References: 1. Introduction to the Theory of computation: Michael Sipser 2. Theory of computer Science: K.L.P Mishra, N. Chandrasekaran Course Teacher : Prof Dr. Md. Monzur Morshed
  • 2. Introduction Theory of Computation comprises the fundamental mathematical properties of computer hardware, software, and certain applications thereof. The objective of this course is to determine what can and cannot be computed, how quickly, with how much memory, and on which type of computational model?
  • 3. Central areas of the theory of computation Three areas • Automata • Computability • Complexity
  • 4. Complexity Computer problems come in different varieties; some are easy (ex: sorting), and some are hard (ex: scheduling). In complexity theory, the objective is to classify problems as easy ones and hard ones. One achievement of complexity theory is, researchers have discovered an elegant scheme for classifying problems according to their computational difficulty.
  • 5. Computability Certain basic problems cannot be solved by computer. In computability theory the classification of problems is by those that are solvable and those that are not. Computability theory introduces several of the concepts used in complexity theory.
  • 6. Automata Automata theory deals with the definitions and properties of mathematical models of computation. These models play a role in several applied areas of computer science. One model, called the finite automation, is used in text processing, compiler, and hardware design.
  • 7. Another model, called the context-free grammar, is used in programming language and artificial intelligence.