算法通常具有以下特性：
有窮性。算法必須在執行有限個步驟之後終止，每一步都應在有限時間內完成。
確定性。算法的每一步驟必須有確切的定義，不存在二義性，算法應只有一個入口和一個出口。
輸入項。一個算法有零個或多個輸入，這些輸入取自於某個特定的對象集合，用於刻畫運算對象的初始情況。
輸出項。一個算法有一個或多個輸出，這些輸出是同輸入有著某些特定關係的量，反映對輸入數據加工後的結果。
可行性。算法中執行的任何計算步驟都應該是基本的可執行操作，即每個計算步都可以在有限時間內完成。
這些特性確保了算法的準確性和有效性，是設計和分析算法時需要考慮的關鍵因素。