Turing Makinesi
Bir şerit, bir kafa ve birkaç kural: hesaplamanın özü
Özet
Turing makinesi, 1936'da Alan Turing'in hesaplamanın ne olduğunu anlatmak için tarif ettiği hayali bir makinedir: sonsuz uzunlukta bir şerit, şeridin bir hücresini okuyup yazan bir kafa ve "bu durumdayken şunu okursan, şunu yaz, şuraya git" biçiminde birkaç kural. Bu kadar basit bir makine, bugünkü bilgisayarların yapabildiği her hesabı yapabilir. Turing aynı makineyle, hiçbir bilgisayarın asla çözemeyeceği soruların da var olduğunu gösterdi.
Detay
Turing'in 1936 tarihli makalesi, David Hilbert'in "her matematik önermesinin doğru olup olmadığına karar veren mekanik bir yöntem var mı?" sorusuna cevap arıyordu. Turing, kâğıt kalemle hesap yapan bir insanı en yalın adımlarına indirerek bir makine modeli kurdu. Ardından başka her makinenin tarifini okuyup onu taklit edebilen evrensel bir makine tasarladı; bu fikir bugünkü program saklayan bilgisayarların temelidir. Aynı makalede, bir programın sonunda durup durmayacağını her durumda önceden söyleyen bir algoritmanın olamayacağını kanıtladı (durma problemi). 1962'de Tibor Radó'nun sorduğu meşgul kunduz problemi bu sınırı somutlaştırır: beş durumlu makineler için cevap ancak 2024'te bulunabildi.
Turing Makinesi Değerlendirmesi
Bu içeriği nasıl buldunuz? Yıldızlara tıklayarak puanınızı bırakabilirsiniz.
Yorum ve Değerlendirme Yap
Yorum yazmak ve puan vermek için giriş yapın. Üyelik ücretsizdir.