Sonlanma problemi

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

This article is issued from Vikipedi - version of the 1/28/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.