演算法的基本特徵：1、輸入項，刻畫運算物件的初始情況，本身定出了初始條件；2、確定性，每一步驟必須有確切的定義；3、有窮性，指演算法必須能在執行有限個步驟之後終止；4、輸出項，有一個或多個輸出，以反映對輸入資料加工後的結果。5、可行性，可執行的操作步驟。
1、輸入項：一個演算法有零個或多個輸入，以刻畫運算物件的初始情況。例如，在歐幾里得演算法中，有兩個輸入，即m和n。
2、確定性：演算法的每一個步驟必須要確切地定義。即演算法中所有有待執行的動作必須嚴格而不含混地進行規定，不能有歧義性。例如，歐幾里得演算法中，步驟1中明確規定“以m除以n，而不能有類似以m除n以或n除以m這類有兩種可能做法的規定。
3、有窮性：一個演算法在執行有窮步滯後必須結束。也就是說，一個演算法，它所包含的計算步驟是有限的。例如，在歐幾里得演算法中，m和n均為正整數，在步驟1之後，r必小於n，若r不等於0，下一次進行步驟1時，n的值已經減小，而正整數的遞降序列最後必然要終止。因此，無論給定m和n的原始值有多大，步驟1的執行都是有窮次。
4、輸出：演算法有一個或多個的輸出，即與輸入有某個特定關係的量，簡單地說就是演算法的最終結果。例如，在歐幾里得演算法中只有一個輸出，即步驟2中的n。
5、能行性：演算法中有待執行的運算和操作必須是相當基本的，換言之，他們都是能夠精確地進行的，演算法執行者甚至不需要掌握演算法的含義即可根據該演算法的每一步驟要求進行操作，並最終得出正確的結果。
演算法可以巨集泛得分為三類
一、有限的，確定性演算法這類演算法在有限的一段時間內終止。他們可能要花很長時間來執行指定的任務，但仍將在一定的時間內終止。這類演算法得出的結果常取決於輸入值。
二、有限的，非確定演算法這類演算法在有限的時間內終止。然而，對於一個（或一些）給定的數值，演算法的結果並不是唯一的或確定的。
三、無限的演算法是那些由於沒有定義終止定義條件，或定義的條件無法由輸入的資料滿足而不終止執行的演算法。通常，無限演算法的產生是由於未能確定的定義終止條件。
