Bir çok basit bir program formülasyon benzetimini yapmak için bir sonsuz bant bir sıra kullanan Turing makinesi türüdür. Bir Turing makinesi semboller tablo kuralları göre bandın bir şerit üzerinde işleyen örnek bir cihazdır. Onun sadelik rağmen bir Turing makinesi herhangi bir bilgisayar algoritma mantığı taklit adapte olabilir ve bir CPU bilgisayarın içindeki işlevleri açıklayan yararlıdır.