Turing Machine / Turing Makinesi

 Alan Turing , Turing makinesi bir matematiksel problemin,  eğer bir algoritma ile temsil edilebilirse bu makine ile çözülebileceğini ispat etmiştir. Turing makinesinin çalışma şekli şöyledir:  Sanal bilgisayarda sonsuz uzunlukta bir şerit vardır. Şerit hem okuyabilen hem de yazabilen bir kafanın altında sağa veya sola hareket edebilir. Şerit, sonsuz sayıda yan yana dizilmiş karelerden oluşur. Kafanın altına bir kare gelince orada kayıtlı bir bilgi varsa, şerit kendisine verilmiş komuta göre sağa veya sola hareket eder. Yeni kareyi ya okur ya da bilgi yazar. Bu makineyle, matematiksel problemler, kendileri için yazılan algoritmaya göre sırayla yapılan basit işlemlerle çözülür. Turing makinesi hem bilgi girişi/çıkışı makineleri, hem de evet/hayır karar verme makineleridir.

 Günümüzdeki bilgisayarlar bu yeteneğe sahiptir. Alan Turing, sanal makinenin küçük bir çocuk gibi basit işlemler yaparak işe başlayacağını açıklamıştır. Makine işlem yaptıkça bazı şeyleri öğrenip düşünce üreteceğine veya karar verme yeteneğini kazanabileceğine inanıyordu.  .