Turing Bütünlüğü(Turing Completeness)

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; CPascal.
Object-oriented diller; JavaSmalltalk veya C#.
Çok Paradigmalı diller; AdaC++Common LispObject PascalPythonR.
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

Loading

Facebooktwitterredditpinterestlinkedinmail

Bir yanıt yazın

E-posta adresiniz yayınlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir

Time limit is exhausted. Please reload CAPTCHA.

Bu site, istenmeyenleri azaltmak için Akismet kullanıyor. Yorum verilerinizin nasıl işlendiği hakkında daha fazla bilgi edinin.