Sonlanma problemi

Vikipedi, özgür ansiklopedi
(Sonlanma Problemi sayfasından yönlendirildi)
Atla: kullan, ara

Sonlanma problemi, hesaplanabilirlik kuramı'nda, "girdileri ve tanımı verilen bir bilgisayar programının çalışmasını sonlandıracağına ya da sonsuza kadar çalışacağına" karar verme problemidir. Tüm program-girdi çiftleri için çözüm sağlayacak bir algoritmanın olamayacağı 1936 yılında Alan Turing tarafından kanıtlanmıştır.

Ayrıca bakınız[değiştir | kaynağı değiştir]