Tamamlamanın tamamlanması, bir programlama dilinin bir Turing makinesinin işlevlerini yerine getirebildiği zamandır. Bu, bazen bir bilgisayar olarak kabul edilebilecek en basit makine olarak tanımlanan çok temel bir mekanik bilgisayar için bir kavramdır. Neredeyse bugün kullanılan tüm programlama dilleri ve teoride, onları çalıştıran bilgisayarlar Turing'in bütünlüğüne sahiptir.
Turing'in eksiksizliği kavramı, II. Dünya Savaşı sırasında kodlanmış mesajları deşifre etmeyi içeren İngiliz bir bilgisayar bilimcisi olan Alan Turing'den geliyor. Bilişim konusundaki çalışmaları arasında bir bilgisayarın gerçekte neler yapabildiğine dair bir felsefenin geliştirilmesi vardı. Bu, bilgisayarların sadece algoritmalar çalıştırarak çalıştıkları kavramını içeriyordu. Başka bir deyişle, verileri işlemek ve ardından sorunları çözmek için sabit bir kurallar dizisi izliyorlar. Bu, bir bilgisayarın "düşünemediği" veya bir insanın yapabileceği gibi kararlar aldığı anlamına gelir.
Konsepti açıklamak için, Turing "a-machine" olarak adlandırdığı ve otomatik olarak "a" durduğu varsayımsal bir makine tanımladı; diğerleri daha sonra bunu Turing makinesi olarak adlandırdı. Makine ileri ya da geri hareket edebilen ve bir sıra sembol içeren bir bant makarasını işlemden geçirirdi. Her an makine bir sembolü işleyebilir ve gerekirse değiştirebilir. Konseptin amaçları doğrultusunda, bant makarası sonsuz uzun olabilir, bu da bilgisayarın hafızasının doğal olarak sınırlı olmadığı anlamına gelir. Bu, bir bilgisayarda izlenecek bir dizi talimat bulunduğunda, bu talimatları uygulayabileceği veri miktarının yalnızca fiziksel sınırlara tabi olduğu fikrine bir benzetmedir.
İronik olarak, günümüzde çoğu bilgisayar aslında Turing bütünlüğüne sahip değil. Bunun nedeni, mevcut depolama alanı ve dolayısıyla işleyebilecekleri verilerde sınırlı olmalarıdır. Ayrıca fiziksel sınırlamaları vardır, en önemlisi de sonunda aşınmalarıdır. Aslında Turing'in bütünlüğüne sahip olan programlama dilidir. Bu nedenle, böyle bir programı çalıştıran bir bilgisayar bir Turing bilgisayarı değildir, ancak birini simüle etmek için kullanılabilir.
Turingin bütünlüğü Turing testiyle karıştırılmamalıdır. Bu, Turing tarafından bilgisayarların doğal dilde konuşabildiğini görmek için tasarlanan bir deneydi. Testin prensibi, eğer bir insan bilgisayarla salt metinli bir konuşma arasındaki ve diğer bir insan arasındaki farkı söyleyemezse, bilgisayarın testi geçmesidir. Bazı bilgisayarlar, konuşma konularının kapsamı kısıtlandığında testi geçse de, hiçbiri sınırsız konuşmalarda bunu yapmamıştır.
