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

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