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