Una Turing machine è un modello matematico di una macchina informatica generale. Si tratta di un dispositivo teorico che manipola i simboli contenuti su una striscia di nastro. Le macchine di ritenzione non sono concepite come una tecnologia informatica pratica, ma piuttosto come un esperimento di pensiero che rappresenta una macchina di elaborazione - da un supercomputer avanzato a un matematico con una matita e carta. Si ritiene che se un problema può essere risolto con un algoritmo, esiste una macchina Turing che risolve il problema. Anzi, questa è l' affermazione della tesi Chiesa-Turing. Inoltre, è noto che tutto ciò che può essere calcolato su altri modelli di calcolo conosciuti oggi, come una macchina RAM, Game of Life di Conway, automi cellulari o qualsiasi linguaggio di programmazione può essere calcolato su una macchina Turing. Poichè le macchine Turing sono facili da analizzare matematicamente, e si ritiene che siano potenti come qualsiasi altro modello di calcolo, la macchina Turing è il modello più comunemente usato nella teoria della complessità.
Qual è il termine per un modello matematico che teoricamente rappresenta una macchina informatica generale?
Una Turing machine Una Turing machine Turing machine