Turing makinesi, Alan Turing tarafından 1930'larda hesaplama mantığını modellemek için oluşturulan teorik bir cihazdır. Bu makine, matematiksel bir soyutlama olup, herhangi bir algoritmayı veya hesaplama sürecini simüle etmek için kullanılır. Temel bileşenleri: - Bant: Sembolleri tutabilen sonsuz hücre dizisi. - Okuma/Yazma Kafası: Bant boyunca hareket eden, sembolleri okuyan ve yenilerini yazan cihaz. - Durum Kaydı: Makinenin davranışını belirleyen sınırlı sayıda durum. - Geçiş Fonksiyonu: Makineye durumlar arasında nasıl geçiş yapılacağını ve mevcut sembol ve duruma göre hangi eylemin gerçekleştirileceğini söyleyen kurallar dizisi. Kullanım amaçları: - Hesaplamaların en temel düzeyde nasıl çalıştığını anlamak için teorik bir çerçeve sağlar. - Algoritmik süreçleri tanımlar ve bir bilgisayar tarafından çözülebilen her problemi teorik olarak çözebilir. - Hesaplamalı limitleri test eder.