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

CS8451 DAA Unit-I.pptx
CS8451 DAA Unit-I.pptxCS8451 DAA Unit-I.pptx
CS8451 DAA Unit-I.pptxBolliniNivas
 
Dms introduction Sharmila Chidaravalli
Dms introduction Sharmila ChidaravalliDms introduction Sharmila Chidaravalli
Dms introduction Sharmila ChidaravalliSharmilaChidaravalli
 
Foundation for computational computing
Foundation for computational computingFoundation for computational computing
Foundation for computational computingramled931
 
KBS Lecture Notes
KBS Lecture NotesKBS Lecture Notes
KBS Lecture Notesbutest
 
Course outlin for to c
Course outlin for to cCourse outlin for to c
Course outlin for to cIkram Syed
 
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 ConstructionRobin Beregovska
 
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...Josh Sheldon
 
M techcse parttime_syallabus
M techcse parttime_syallabusM techcse parttime_syallabus
M techcse parttime_syallabusAnitha Ramar
 
An Overview of Hard Computing
An Overview of Hard ComputingAn Overview of Hard Computing
An Overview of Hard Computingijtsrd
 
Scientific methods in computer science
Scientific methods in computer scienceScientific methods in computer science
Scientific methods in computer scienceParinda Rajapaksha
 
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.pptxtofikjamaltegal
 
34.pdf
34.pdf34.pdf
34.pdfa a
 
(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 systemsmile790243
 
Work in progress mechatronics1
Work in progress mechatronics1Work in progress mechatronics1
Work in progress mechatronics1Pana Mann
 
Dbms internal qp hod cse
Dbms internal qp hod cseDbms internal qp hod cse
Dbms internal qp hod cseveena babu
 

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
 
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
 
Dbms internal qp hod cse
Dbms internal qp hod cseDbms internal qp hod cse
Dbms internal qp hod cse
 

Recently uploaded

Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentInMediaRes1
 
Final demo Grade 9 for demo Plan dessert.pptx
Final demo Grade 9 for demo Plan dessert.pptxFinal demo Grade 9 for demo Plan dessert.pptx
Final demo Grade 9 for demo Plan dessert.pptxAvyJaneVismanos
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsanshu789521
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxpboyjonauth
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Blooming Together_ Growing a Community Garden Worksheet.docx
Blooming Together_ Growing a Community Garden Worksheet.docxBlooming Together_ Growing a Community Garden Worksheet.docx
Blooming Together_ Growing a Community Garden Worksheet.docxUnboundStockton
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptxVS Mahajan Coaching Centre
 
Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Celine George
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
 
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptx
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptxENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptx
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptxAnaBeatriceAblay2
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️9953056974 Low Rate Call Girls In Saket, Delhi NCR
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 

Recently uploaded (20)

Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media Component
 
Final demo Grade 9 for demo Plan dessert.pptx
Final demo Grade 9 for demo Plan dessert.pptxFinal demo Grade 9 for demo Plan dessert.pptx
Final demo Grade 9 for demo Plan dessert.pptx
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha elections
 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
Introduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptxIntroduction to AI in Higher Education_draft.pptx
Introduction to AI in Higher Education_draft.pptx
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Blooming Together_ Growing a Community Garden Worksheet.docx
Blooming Together_ Growing a Community Garden Worksheet.docxBlooming Together_ Growing a Community Garden Worksheet.docx
Blooming Together_ Growing a Community Garden Worksheet.docx
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
 
Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17Computed Fields and api Depends in the Odoo 17
Computed Fields and api Depends in the Odoo 17
 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
 
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptx
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptxENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptx
ENGLISH5 QUARTER4 MODULE1 WEEK1-3 How Visual and Multimedia Elements.pptx
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
call girls in Kamla Market (DELHI) 🔝 >༒9953330565🔝 genuine Escort Service 🔝✔️✔️
 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 

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.