##  [Turing Machine](/index.php/turing-machine) 

  ##  [Turing Machine](https://natural.quantumdictionary.io/turing-machine-0) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/index.php/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definition

An abstract model of computation consisting of an infinite (or unbounded) tape divided into cells, a read/write head that moves left or right, a finite set of states, and a transition function that maps (current state, current symbol) to (next state, symbol to write, head move).