SlideShare a Scribd company logo
Theory of Computation
Topic: Definition of Turing Machine
INTRODUCING TURING MACHINES
Introduced by Alan Turing in 1936.
A simple mathematical model of a computer.
Models the computing capability of a computer.
DEFINITION
A Turing machine (TM) is a finite-state machine with an infinite tape
and a tape head that can read or write one tape cell and move left or
right.
It normally accepts the input string, or completes its computation, by
entering a final or accepting state.
Tape is use for input and working storage.
Representation of Turing Machine
•
Turing Machine is represented by-
• M=(Q,Σ, Γ,δ,q0,B,F) ,
• Where
• Q is the finite state of states
• Σ a set of τ not including B, is the set of input symbols,
• τ is the finite state of allowable tape symbols,
• δ is the next move function, a mapping from Q × Γ to
• Q × Γ ×{L,R}
• Q0 in Q is the start state,
• B a symbol of Γ is the blank,
• F is the set of final states.
THE TURING MACHINE MODELTHE TURING MACHINE MODEL
Transition function
One move (denoted by |---) in a TM does the following:
δ(q , X) = (p ,Y ,R/L)
• q is the current state
• X is the current tape symbol pointed by tape head
• State changes from q to p
Turing machine as language acceptors
A Turing machine halts when it no longer has available moves.
 If it halts in a final state, it accepts its input, otherwise it rejects its
input.
For language accepted by M ,we define
L(M)={ w ε ∑+
: q0w |– x1qfx2 for some qf ε F , x1 ,x2ε Γ *
}
Turing machine as transducers
• To use a Turing machine as a transducer, treat the entire nonblank
portion of the initial tape as input
• Treat the entire nonblank portion of the tape when the machine halts
as output.
A Turing machine defines a function y = f (x) for strings x, y ε ∑*
if
q0x |*– qf y
• A function index is “Turing computable” if there exists a Turing
machine that can perform the above task.
ID of a TMID of a TM
• Instantaneous Description or ID :
 X1 X2…Xi-1 q Xi Xi+1 …Xn
Means:
 q is the current state
 Tape head is pointing to Xi
 X1X2…Xi-1XiXi+1… Xn are the current tape symbols
 δ (q , Xi ) = (p ,Y , R ) is same as:δ (q , Xi ) = (p ,Y , R ) is same as:
X1 X2…Xi-1 q Xi Xi+1 …Xn|---- X1 X2…Xi-1 YY pp Xi+1…Xn
 δδ (q Xi) = (p Y L) same as:(q Xi) = (p Y L) same as:
X1 X2…Xi-1 q Xi Xi+1 …Xn|---- X1 X2…ppXi-1YY Xi+1 …Xn
VARIATIONS OF TURING MACHINESVARIATIONS OF TURING MACHINES
Multitape Turing Machines
Non deterministic Turing machines
Multihead Turing Machines
Off-line Turing machines
Multidimensional Turing machines
MULTITAPE TURING MACHINES
A Turing Machine with several tapes
 Every Tape’s have their Controlled own R/W Head
 For N- tape TM M=(Q,Σ, Γ,δ,q0,B,F)
• we define δ : Q X ΓN
Q X ΓN
X { L , R} N
NON DETERMINISTIC TURINGNON DETERMINISTIC TURING
MACHINESMACHINES
It is similar to DTM except that for any input symbol and current
state it has a number of choices
A string is accepted by a NDTM if there is a sequence of moves that
leads to a final state
The transaction function δ : Q X Γ 2 QXΓ X{L,R}
MULTIHEAD TURING MACHINEMULTIHEAD TURING MACHINE
Multihead TM has a number of heads instead of one.
 Each head indepently read/ write symbols and move left / right or
keep stationery.
OFF- LINE TURING MACHINEOFF- LINE TURING MACHINE
An Offline Turing Machine has two tapes
1. One tape is read-only and contains the input
2. The other is read-write and is initially blank.
MULTIDIMENSIONAL TURINGMULTIDIMENSIONAL TURING
MACHINEMACHINE
A Multidimensional TM has a multidimensional tape.
• For example, a two-dimensional Turing machine would read and
write on an infinite plane divided into squares, like a checkerboard.
 For a two- Dimensional Turing Machine transaction function define
as:
• δ : Q X Γ Q X Γ X { L , R,U,D}
Applications of TM
• Check Decidability If TM cannot solve a problem in countable time 
then there could not be any algorithm which could solve that 
problem (That is the problem is undecidable).For a decision problem 
if its TM halt in countable time for all finite length inputs then we can 
say that the problem could be solved by an algorithm in countable 
time.
• Classify Problem TM helps to classify decidable problems into classes 
of Polynomial Hierarchy. Suppose we found that the problem is 
decidable. Then out target become how efficiently we can solve it. 
The efficiency been calculated in number of steps, extra space used , 
length of the code/size of the FSM.
• Design and Implement Algorithm for Practical Machines TM helps to 
propagate idea of algorithm in other practical machines. After the 
successful check of 1,2 criteria we can use our practical 
devices/computers to design and implement algorithm.
Thankyou

More Related Content

What's hot

Variants of Turing Machine
Variants of Turing MachineVariants of Turing Machine
Variants of Turing Machine
Rajendran
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Ashish Duggal
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
AniketKandara1
 
Turing machine
Turing machineTuring machine
Turing machine
Захір Райхан
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
AyAn KhAn
 
Multi Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing MachineMulti Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing Machine
Radhakrishnan Chinnusamy
 
Turing machine - theory of computation
Turing machine - theory of computationTuring machine - theory of computation
Turing machine - theory of computation
Rubaya Mim
 
Multi dimensional turing machine
Multi dimensional turing machineMulti dimensional turing machine
Multi dimensional turing machine
NiteshSingh405
 
Pushdown Automata Theory
Pushdown Automata TheoryPushdown Automata Theory
Pushdown Automata Theory
Saifur Rahman
 
Finite Automata
Finite AutomataFinite Automata
Finite Automata
Mukesh Tekwani
 
Introduction TO Finite Automata
Introduction TO Finite AutomataIntroduction TO Finite Automata
Introduction TO Finite Automata
Ratnakar Mikkili
 
Decision properties of reular languages
Decision properties of reular languagesDecision properties of reular languages
Decision properties of reular languages
SOMNATHMORE2
 
Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
Akila Krishnamoorthy
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory
Rajendran
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
Mohammad Ilyas Malik
 
Turing machines
Turing machinesTuring machines
Turing machines
surekamurali
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
Marina Santini
 
push down automata
push down automatapush down automata
push down automata
Christopher Chizoba
 
Moore and mealy machine
Moore and mealy machineMoore and mealy machine
Moore and mealy machine
Mian Munib
 

What's hot (20)

Variants of Turing Machine
Variants of Turing MachineVariants of Turing Machine
Variants of Turing Machine
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 
Turing machine
Turing machineTuring machine
Turing machine
 
Turing Machine
Turing MachineTuring Machine
Turing Machine
 
Multi Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing MachineMulti Head, Multi Tape Turing Machine
Multi Head, Multi Tape Turing Machine
 
Turing machine - theory of computation
Turing machine - theory of computationTuring machine - theory of computation
Turing machine - theory of computation
 
Multi dimensional turing machine
Multi dimensional turing machineMulti dimensional turing machine
Multi dimensional turing machine
 
Pushdown Automata Theory
Pushdown Automata TheoryPushdown Automata Theory
Pushdown Automata Theory
 
Turing machines
Turing machinesTuring machines
Turing machines
 
Finite Automata
Finite AutomataFinite Automata
Finite Automata
 
Introduction TO Finite Automata
Introduction TO Finite AutomataIntroduction TO Finite Automata
Introduction TO Finite Automata
 
Decision properties of reular languages
Decision properties of reular languagesDecision properties of reular languages
Decision properties of reular languages
 
Automata Theory - Turing machine
Automata Theory - Turing machineAutomata Theory - Turing machine
Automata Theory - Turing machine
 
Intro automata theory
Intro automata theory Intro automata theory
Intro automata theory
 
Context free grammar
Context free grammar Context free grammar
Context free grammar
 
Turing machines
Turing machinesTuring machines
Turing machines
 
Lecture: Automata
Lecture: AutomataLecture: Automata
Lecture: Automata
 
push down automata
push down automatapush down automata
push down automata
 
Moore and mealy machine
Moore and mealy machineMoore and mealy machine
Moore and mealy machine
 

Similar to Turing Machine

Turing machine
Turing machineTuring machine
Turing machine
nirob nahin
 
Turing machine
Turing machineTuring machine
Turing machine
Kanis Fatema Shanta
 
TOA.docx
TOA.docxTOA.docx
TOA.docx
SidraMalik81
 
TOA.docx
TOA.docxTOA.docx
TOA.docx
SidraMalik81
 
Turing machine seminar report
Turing machine seminar reportTuring machine seminar report
Turing machine seminar report
Yashwant Dagar
 
Winter 8 TM.pptx
Winter 8 TM.pptxWinter 8 TM.pptx
Winter 8 TM.pptx
HarisPrince
 
TuringMachines.pdf
TuringMachines.pdfTuringMachines.pdf
TuringMachines.pdf
Kavitha Chandramohan
 
Unit iv
Unit ivUnit iv
Unit iv
TPLatchoumi
 
Working principle of Turing machine
Working principle of Turing machineWorking principle of Turing machine
Working principle of Turing machine
Karan Thakkar
 
Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Editor IJARCET
 
Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Editor IJARCET
 
Turing machine
Turing machineTuring machine
Turing machine
Aafaqueahmad Khan
 
TuringMachines-myppt.pptx
TuringMachines-myppt.pptxTuringMachines-myppt.pptx
TuringMachines-myppt.pptx
SanchayKedia2
 
Turing machine
Turing machineTuring machine
Turing machine
Neelamani Samal
 
1LECTURE 9TuringMachines.ppt
1LECTURE 9TuringMachines.ppt1LECTURE 9TuringMachines.ppt
1LECTURE 9TuringMachines.ppt
Marvin886766
 
Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5
Abhimanyu Mishra
 
Turing machine
Turing machineTuring machine
Turing machine
Ashik Khan
 
Theory of computation and automata
Theory of computation and automataTheory of computation and automata
Theory of computation and automata
Prof. Dr. K. Adisesha
 
Theory of computation and automata
Theory of computation and automataTheory of computation and automata
Theory of computation and automata
Prof. Dr. K. Adisesha
 
Finite state Transducers and mealy Machine
Finite state Transducers and mealy Machine Finite state Transducers and mealy Machine
Finite state Transducers and mealy Machine
Nadeem Qasmi
 

Similar to Turing Machine (20)

Turing machine
Turing machineTuring machine
Turing machine
 
Turing machine
Turing machineTuring machine
Turing machine
 
TOA.docx
TOA.docxTOA.docx
TOA.docx
 
TOA.docx
TOA.docxTOA.docx
TOA.docx
 
Turing machine seminar report
Turing machine seminar reportTuring machine seminar report
Turing machine seminar report
 
Winter 8 TM.pptx
Winter 8 TM.pptxWinter 8 TM.pptx
Winter 8 TM.pptx
 
TuringMachines.pdf
TuringMachines.pdfTuringMachines.pdf
TuringMachines.pdf
 
Unit iv
Unit ivUnit iv
Unit iv
 
Working principle of Turing machine
Working principle of Turing machineWorking principle of Turing machine
Working principle of Turing machine
 
Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207
 
Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207Volume 2-issue-6-2205-2207
Volume 2-issue-6-2205-2207
 
Turing machine
Turing machineTuring machine
Turing machine
 
TuringMachines-myppt.pptx
TuringMachines-myppt.pptxTuringMachines-myppt.pptx
TuringMachines-myppt.pptx
 
Turing machine
Turing machineTuring machine
Turing machine
 
1LECTURE 9TuringMachines.ppt
1LECTURE 9TuringMachines.ppt1LECTURE 9TuringMachines.ppt
1LECTURE 9TuringMachines.ppt
 
Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5Theory of Automata and formal languages Unit 5
Theory of Automata and formal languages Unit 5
 
Turing machine
Turing machineTuring machine
Turing machine
 
Theory of computation and automata
Theory of computation and automataTheory of computation and automata
Theory of computation and automata
 
Theory of computation and automata
Theory of computation and automataTheory of computation and automata
Theory of computation and automata
 
Finite state Transducers and mealy Machine
Finite state Transducers and mealy Machine Finite state Transducers and mealy Machine
Finite state Transducers and mealy Machine
 

More from Rahul Narang

OpAmps
OpAmpsOpAmps
OpAmps
Rahul Narang
 
Disk scheduling algo os
Disk scheduling algo osDisk scheduling algo os
Disk scheduling algo os
Rahul Narang
 
System of linear algebriac equations nsm
System of linear algebriac equations nsmSystem of linear algebriac equations nsm
System of linear algebriac equations nsm
Rahul Narang
 
Program control
Program controlProgram control
Program control
Rahul Narang
 
Greeenhouse effects
Greeenhouse effectsGreeenhouse effects
Greeenhouse effects
Rahul Narang
 
Embarking the journey to contributorship
Embarking the journey to contributorshipEmbarking the journey to contributorship
Embarking the journey to contributorship
Rahul Narang
 
Laplace transforms
Laplace transformsLaplace transforms
Laplace transforms
Rahul Narang
 
View of data DBMS
View of data DBMSView of data DBMS
View of data DBMS
Rahul Narang
 

More from Rahul Narang (8)

OpAmps
OpAmpsOpAmps
OpAmps
 
Disk scheduling algo os
Disk scheduling algo osDisk scheduling algo os
Disk scheduling algo os
 
System of linear algebriac equations nsm
System of linear algebriac equations nsmSystem of linear algebriac equations nsm
System of linear algebriac equations nsm
 
Program control
Program controlProgram control
Program control
 
Greeenhouse effects
Greeenhouse effectsGreeenhouse effects
Greeenhouse effects
 
Embarking the journey to contributorship
Embarking the journey to contributorshipEmbarking the journey to contributorship
Embarking the journey to contributorship
 
Laplace transforms
Laplace transformsLaplace transforms
Laplace transforms
 
View of data DBMS
View of data DBMSView of data DBMS
View of data DBMS
 

Recently uploaded

TECHNICAL TRAINING MANUAL GENERAL FAMILIARIZATION COURSE
TECHNICAL TRAINING MANUAL   GENERAL FAMILIARIZATION COURSETECHNICAL TRAINING MANUAL   GENERAL FAMILIARIZATION COURSE
TECHNICAL TRAINING MANUAL GENERAL FAMILIARIZATION COURSE
DuvanRamosGarzon1
 
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
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
Pipe Restoration Solutions
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
MdTanvirMahtab2
 
Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024
Massimo Talia
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project report.pdf
Kamal Acharya
 
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
 
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
 
Standard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - NeometrixStandard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - Neometrix
Neometrix_Engineering_Pvt_Ltd
 
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdfCOLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
Kamal Acharya
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
obonagu
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
bakpo1
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
JoytuBarua2
 
Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
Kamal Acharya
 
Forklift Classes Overview by Intella Parts
Forklift Classes Overview by Intella PartsForklift Classes Overview by Intella Parts
Forklift Classes Overview by Intella Parts
Intella Parts
 
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
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
MuhammadTufail242431
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
TeeVichai
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
MLILAB
 
Student information management system project report ii.pdf
Student information management system project report ii.pdfStudent information management system project report ii.pdf
Student information management system project report ii.pdf
Kamal Acharya
 

Recently uploaded (20)

TECHNICAL TRAINING MANUAL GENERAL FAMILIARIZATION COURSE
TECHNICAL TRAINING MANUAL   GENERAL FAMILIARIZATION COURSETECHNICAL TRAINING MANUAL   GENERAL FAMILIARIZATION COURSE
TECHNICAL TRAINING MANUAL GENERAL FAMILIARIZATION COURSE
 
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.
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
 
Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024Nuclear Power Economics and Structuring 2024
Nuclear Power Economics and Structuring 2024
 
Courier management system project report.pdf
Courier management system project report.pdfCourier management system project report.pdf
Courier management system project 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...
 
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
 
Standard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - NeometrixStandard Reomte Control Interface - Neometrix
Standard Reomte Control Interface - Neometrix
 
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdfCOLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
COLLEGE BUS MANAGEMENT SYSTEM PROJECT REPORT.pdf
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
 
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
一比一原版(SFU毕业证)西蒙菲莎大学毕业证成绩单如何办理
 
Planning Of Procurement o different goods and services
Planning Of Procurement o different goods and servicesPlanning Of Procurement o different goods and services
Planning Of Procurement o different goods and services
 
Vaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdfVaccine management system project report documentation..pdf
Vaccine management system project report documentation..pdf
 
Forklift Classes Overview by Intella Parts
Forklift Classes Overview by Intella PartsForklift Classes Overview by Intella Parts
Forklift Classes Overview by Intella Parts
 
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
 
Halogenation process of chemical process industries
Halogenation process of chemical process industriesHalogenation process of chemical process industries
Halogenation process of chemical process industries
 
Railway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdfRailway Signalling Principles Edition 3.pdf
Railway Signalling Principles Edition 3.pdf
 
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang,  ICLR 2024, MLILAB, KAIST AI.pdfJ.Yang,  ICLR 2024, MLILAB, KAIST AI.pdf
J.Yang, ICLR 2024, MLILAB, KAIST AI.pdf
 
Student information management system project report ii.pdf
Student information management system project report ii.pdfStudent information management system project report ii.pdf
Student information management system project report ii.pdf
 

Turing Machine

  • 1. Theory of Computation Topic: Definition of Turing Machine
  • 2. INTRODUCING TURING MACHINES Introduced by Alan Turing in 1936. A simple mathematical model of a computer. Models the computing capability of a computer.
  • 3. DEFINITION A Turing machine (TM) is a finite-state machine with an infinite tape and a tape head that can read or write one tape cell and move left or right. It normally accepts the input string, or completes its computation, by entering a final or accepting state. Tape is use for input and working storage.
  • 4. Representation of Turing Machine • Turing Machine is represented by- • M=(Q,Σ, Γ,δ,q0,B,F) , • Where • Q is the finite state of states • Σ a set of τ not including B, is the set of input symbols, • τ is the finite state of allowable tape symbols, • δ is the next move function, a mapping from Q × Γ to • Q × Γ ×{L,R} • Q0 in Q is the start state, • B a symbol of Γ is the blank, • F is the set of final states.
  • 5. THE TURING MACHINE MODELTHE TURING MACHINE MODEL
  • 6. Transition function One move (denoted by |---) in a TM does the following: δ(q , X) = (p ,Y ,R/L) • q is the current state • X is the current tape symbol pointed by tape head • State changes from q to p
  • 7. Turing machine as language acceptors A Turing machine halts when it no longer has available moves.  If it halts in a final state, it accepts its input, otherwise it rejects its input. For language accepted by M ,we define L(M)={ w ε ∑+ : q0w |– x1qfx2 for some qf ε F , x1 ,x2ε Γ * }
  • 8. Turing machine as transducers • To use a Turing machine as a transducer, treat the entire nonblank portion of the initial tape as input • Treat the entire nonblank portion of the tape when the machine halts as output. A Turing machine defines a function y = f (x) for strings x, y ε ∑* if q0x |*– qf y • A function index is “Turing computable” if there exists a Turing machine that can perform the above task.
  • 9. ID of a TMID of a TM • Instantaneous Description or ID :  X1 X2…Xi-1 q Xi Xi+1 …Xn Means:  q is the current state  Tape head is pointing to Xi  X1X2…Xi-1XiXi+1… Xn are the current tape symbols  δ (q , Xi ) = (p ,Y , R ) is same as:δ (q , Xi ) = (p ,Y , R ) is same as: X1 X2…Xi-1 q Xi Xi+1 …Xn|---- X1 X2…Xi-1 YY pp Xi+1…Xn  δδ (q Xi) = (p Y L) same as:(q Xi) = (p Y L) same as: X1 X2…Xi-1 q Xi Xi+1 …Xn|---- X1 X2…ppXi-1YY Xi+1 …Xn
  • 10. VARIATIONS OF TURING MACHINESVARIATIONS OF TURING MACHINES Multitape Turing Machines Non deterministic Turing machines Multihead Turing Machines Off-line Turing machines Multidimensional Turing machines
  • 11. MULTITAPE TURING MACHINES A Turing Machine with several tapes  Every Tape’s have their Controlled own R/W Head  For N- tape TM M=(Q,Σ, Γ,δ,q0,B,F) • we define δ : Q X ΓN Q X ΓN X { L , R} N
  • 12. NON DETERMINISTIC TURINGNON DETERMINISTIC TURING MACHINESMACHINES It is similar to DTM except that for any input symbol and current state it has a number of choices A string is accepted by a NDTM if there is a sequence of moves that leads to a final state The transaction function δ : Q X Γ 2 QXΓ X{L,R}
  • 13. MULTIHEAD TURING MACHINEMULTIHEAD TURING MACHINE Multihead TM has a number of heads instead of one.  Each head indepently read/ write symbols and move left / right or keep stationery.
  • 14. OFF- LINE TURING MACHINEOFF- LINE TURING MACHINE An Offline Turing Machine has two tapes 1. One tape is read-only and contains the input 2. The other is read-write and is initially blank.
  • 15. MULTIDIMENSIONAL TURINGMULTIDIMENSIONAL TURING MACHINEMACHINE A Multidimensional TM has a multidimensional tape. • For example, a two-dimensional Turing machine would read and write on an infinite plane divided into squares, like a checkerboard.  For a two- Dimensional Turing Machine transaction function define as: • δ : Q X Γ Q X Γ X { L , R,U,D}
  • 16. Applications of TM • Check Decidability If TM cannot solve a problem in countable time  then there could not be any algorithm which could solve that  problem (That is the problem is undecidable).For a decision problem  if its TM halt in countable time for all finite length inputs then we can  say that the problem could be solved by an algorithm in countable  time. • Classify Problem TM helps to classify decidable problems into classes  of Polynomial Hierarchy. Suppose we found that the problem is  decidable. Then out target become how efficiently we can solve it.  The efficiency been calculated in number of steps, extra space used ,  length of the code/size of the FSM. • Design and Implement Algorithm for Practical Machines TM helps to  propagate idea of algorithm in other practical machines. After the  successful check of 1,2 criteria we can use our practical  devices/computers to design and implement algorithm.