什么是可計算性

所謂可計算性,亦稱算法理論或能行性理論 , 是計算機科學的理論基礎之一 。
可計算性通過建立計算的數學模型,精確區分哪些是可計算的,哪些是不可計算的 。計算的過程是執行算法的過程 ??捎嬎阈岳碚摰闹匾n題之一,是將算法這一直觀概念精確化 。算法概念精確化的途徑很多,其中之一是通過定義抽象計算機 , 把算法看作抽象計算機的程序 。通常把那些存在算法計算其值的函數叫做可計算函數 。
【什么是可計算性】因此 , 可計算性的精確定義為:能夠在抽象計算機上編出程序計算出值的特征 。