Turing Makinesinin Tanımı

1930'larda dünya yeni bir küresel yangına doğru yol alırken, bilim bilgi işlem Aynı zamanda, birçok durumda, bazılarının zaten geleceğini tahmin ettiği savaş çabası için yapılan hazırlıkların rehberliğinde ilerliyordu.

Bu bağlamda, İngiliz matematikçi Alan Turing (a posteriori, evrenin babalarından biri olarak kabul edilir). bilgi işlem modern) çalışmalarını geliştirir ve 1936'da, çalışmanın temellerinin ne olacağını varsayar. bilgisayar modern.

Arama Turing makinesi Verileri verilen kurallara göre işleyebilen teorik bir cihazdır.

Hem kurallar hem de veriler ayrıdır; Aslında Turing, kuralların bir tür sabit ortamda depolanacağını hayal ederken, veriler, aynı makinenin aşağıdaki tabloya göre değiştirebileceği bantlarda saklanacaktır. kurallar.

Bu kavramsal modelde, modern bilgisayarların ne olacağına dair bir ilerleme açıkça görüyoruz: Kullanıcı adı basit, arasındaki farkı kolayca görebilirsiniz. uygulama "Değişmez" (nüanslarla, ancak bu durumda bunu böyle alalım) ve kurallara göre değiştirilebilen veriler, programlama.

Teorik Turing makinesi son derece basit olmasına ve durum değişikliği gibi yalnızca çok temel işlemleri gerçekleştirmesine rağmen, okuma ve yazma, mekanik bir bilgisayarın yapabileceği tüm matematiksel hesaplamaları algoritma.

Başka bir deyişle, eğer bir problem bir dil aracılığıyla ifade edilebilirse, algoritma Yazılı olarak - en azından teorik düzeyde - bir Turing makinesi tarafından işlenebilir.

Alan Turing bunu bilgisayarların çözemediği matematiksel problemler olduğunu göstermek için bir alıştırma olarak tasarladı.

Turing'in sonsuz olarak tasarladığı veri bandı, makine tarafından sağdan sola hareket ettirilebilir. ve soldan sağa doğru, geri sarılabilen veya ilerletilebilen eski bir kaset veya film kaseti gibi takdir yetkisi.

Bir sözdizimine sahip olması gerektiğinden, kurallar kümesi bir programlama dili olarak da anlaşılabilir. mantık ve tutarlı.

Geriye dönüp bakıldığında, diğer matematikçiler Turing Makinesinin daha karmaşık versiyonlarını yaptılar.

Böylece, iki bantlı makineler, deterministler ve hatta bir kuantum Turing makinesi vardır. ünlü atasının yaptığı gibi, uzun zamandır beklenen hesaplamanın temellerini attı. kuantum.

Fotoğraf Fotolia: Chrisdorney / Steve Simmons