turing makinaları sonsuz uzunlukta banda ve hem okuyup hem yazabilen bir kafaya sahiptir. bu kafa bant boyunca sağa veya sola gidebilir. bu makina belirtilmiş olan bir dizi ayrık işlemi halt state e * gelene kadar gerçekleştirir. kafa, makinanın durmasını sağlayan halt state e gelmezse makina bu işlemleri sonsuza kadar gerçekleştirebilir. turing makinaları güçlü modellerdir ve gerekli zaman verilirse günümüz bilgisayarlarının yapabildiği herşeyi yapabilirler. burada bahsettiğimiz güç hızlı yapabilme oranı değildir. güçten kastedilen turing makinalarının yer problemi olmamasıdır.
