Bir Turing makinesi, bant şeridinde bulunan sembolleri manipüle ederek hesaplama yapabilen bir teorik cihazdır. Yani bant şeridi üzerindeki sembolleri okuyabilir, yazabilir, silme yapabilir ve hareket edebilir. Bant şeridi üzerindeki sembollerin durumuna ve belirli kurallara göre işlem yaparak hesaplama işlemlerini gerçekleştirebilir. Bant şeridindeki sembollerin manipülasyonu sayesinde, bir Turing makinesi belirli bir problemi çözmek veya bir algoritmayı uygulamak için kullanılabilir. Bu nedenle, bir Turing makinesi bant şeridinde sembolleri işlemleyerek hesaplamaları gerçekleştirir.
Turing makinesi, genel bir hesaplama makinesinin matematiksel bir modelidir. Bir bant şeridinde bulunan sembolleri manipüle eden teorik bir cihazdır. Turing makineleri pratik bir bilgi işlem teknolojisi olarak değil, daha ziyade bir hesaplama makinesini temsil eden bir düşünce deneyi olarak tasarlanmıştır; gelişmiş bir süper bilgisayardan kalem ve kağıt içeren bir matematikçiye kadar. Eğer bir problem bir algoritma ile çözülebilirse, sorunu çözen bir Turing makinesi bulunduğuna inanılmaktadır. Gerçekten de, bu Kilise-Turing tezinin ifadesidir. Ayrıca, bir RAM makinesi, Conway's Game of Life, hücresel otomata veya herhangi bir programlama dili gibi bugün bilinen diğer hesaplama modellerinde hesaplanabilen her şeyin bir Turing makinesinde hesaplanabileceği bilinmektedir. Turing makinelerinin matematiksel olarak analiz edilmesi kolay olduğundan ve diğer hesaplama modelleri kadar güçlü olduğuna inanıldığından, Turing makinesi karmaşıklık teorisinde en çok kullanılan modeldir.

Bir Turing makinesi bant şeridinde ne işe yarıyor?