Turing Bütünlüğü(Tamlığı) bilgisayar bilimlerinde çok önemli bir notasyondur. Bir programlama dili Turing Bütünlüğünü sağladığını söylüyorsa Turing Makinası ile tasarlanabilen tüm hesaplama işlemlerini yapabilir demektir. Zaten Turing Makinasının kendisi herhangi bir şeyin “hesaplanabilir” olup olmadığı gösterebilmek için icat edildi. Makina, çeşitli emirleri okuma, yazma, bellekte saklama gibi ilkel işleri yapar. Zaman içinde bir çok çalışma Turing makinasının gerçek dünya hesaplamaları için hemen hemen aynı modeller ortaya koydu. İlk yaklaşıma göre, eğer hesaplamanın Turing makinası ile yapılamayacağı kanıtlanırsa hiçbir hesaplama cihazının bu işlemi yapamayacağını varsayabiliriz. Diğer taraftan sistem basit Turing makinası emirleri ile tanımlanabiliyorsa bu işlem “Turing Bütünlüğü” içeriyor deriz ve bilgisayarlar ile bu hesaplamayı yapabiliriz.
Turing Tamlığına sahip diller:
Genel olarak tüm programlama dilleri:
Prosedürel programlama dilleri; C, Pascal.
Object-oriented diller; Java, Smalltalk veya C#.
Çok Paradigmalı diller; Ada, C++, Common Lisp, Object Pascal, Python, R.
Fonksiyonel diller; Lisp ve Haskell.
Deklaratif diller; XSLT
Mantıksal programlama dilleri;Prolog.
Turing Tamlığına sahip oyunlar:
Bonus:
Turing Tamlığına sahip kripto parabirimi:
Kaynak: wikipedia, stackoverflow
