1、有窮性（有限性）。任何一種提出的解題方法都是在有限的操作步驟內(nèi)可以完成的。
如果在有限的操作步驟內(nèi)完不成，得不到結(jié)果，這樣的算法將無限的執(zhí)行下去，永遠不會停止。除非手動停止。例如操作系統(tǒng)就不具有有窮性，它可以一直運行。

2、一個算法應(yīng)該具有以下七個重要的特征：
1）有窮性（Finiteness）
算法的有窮性是指算法必須能在執(zhí)行有限個步驟之后終止
2）確切性(Definiteness)
算法的每一步驟必須有確切的定義；
3）輸入項(Input)
一個算法有0個或多個輸入,以刻畫運算對象的初始情況,所謂0個輸入是指算法本身定出了初始條件；
4）輸出項(Output)
一個算法有一個或多個輸出,以反映對輸入數(shù)據(jù)加工后的結(jié)果.沒有輸出的算法是毫無意義的；
5）可行性(Effectiveness)
算法中執(zhí)行的任何計算步都是可以被分解為基本的可執(zhí)行的操作步,即每個計算步都可以在有限時間內(nèi)完成；
6） 高效性（High efficiency）
執(zhí)行速度快,占用資源少；
7） 健壯性（Robustness）
健壯性又稱魯棒性，是指軟件對于規(guī)范要求以外的輸入情況的處理能力。所謂健壯的系統(tǒng)是指對于規(guī)范要求以外的輸入能夠判斷出這個輸入不符合規(guī)范要求，并能有合理的處理方式。