算法的基本特征：1、輸入項，刻畫運算對象的初始情況，本身定出了初始條件；2、確定性，每一步驟必須有確切的定義；3、有窮性，指算法必須能在執(zhí)行有限個步驟之后終止；4、輸出項，有一個或多個輸出，以反映對輸入數(shù)據(jù)加工后的結(jié)果。5、可行性，可執(zhí)行的操作步驟。

　　1、輸入項：一個算法有零個或多個輸入，以刻畫運算對象的初始情況。例如，在歐幾里得算法中，有兩個輸入，即m和n。

　　2、確定性：算法的每一個步驟必須要確切地定義。即算法中所有有待執(zhí)行的動作必須嚴格而不含混地進行規(guī)定，不能有歧義性。例如，歐幾里得算法中，步驟1中明確規(guī)定“以m除以n，而不能有類似以m除n以或n除以m這類有兩種可能做法的規(guī)定。

　　3、有窮性：一個算法在執(zhí)行有窮步滯后必須結(jié)束。也就是說，一個算法，它所包含的計算步驟是有限的。例如，在歐幾里得算法中，m和n均為正整數(shù)，在步驟1之后，r必小于n，若r不等于0，下一次進行步驟1時，n的值已經(jīng)減小，而正整數(shù)的遞降序列最后必然要終止。因此，無論給定m和n的原始值有多大，步驟1的執(zhí)行都是有窮次。

　　4、輸出：算法有一個或多個的輸出，即與輸入有某個特定關(guān)系的量，簡單地說就是算法的最終結(jié)果。例如，在歐幾里得算法中只有一個輸出，即步驟2中的n。

　　5、能行性：算法中有待執(zhí)行的運算和操作必須是相當基本的，換言之，他們都是能夠精確地進行的，算法執(zhí)行者甚至不需要掌握算法的含義即可根據(jù)該算法的每一步驟要求進行操作，并最終得出正確的結(jié)果。

　　算法可以宏泛得分為三類

　　一、有限的，確定性算法這類算法在有限的一段時間內(nèi)終止。他們可能要花很長時間來執(zhí)行指定的任務(wù)，但仍將在一定的時間內(nèi)終止。這類算法得出的結(jié)果常取決于輸入值。

　　二、有限的，非確定算法這類算法在有限的時間內(nèi)終止。然而，對于一個（或一些）給定的數(shù)值，算法的結(jié)果并不是唯一的或確定的。

　　三、無限的算法是那些由于沒有定義終止定義條件，或定義的條件無法由輸入的數(shù)據(jù)滿足而不終止運行的算法。通常，無限算法的產(chǎn)生是由于未能確定的定義終止條件。