C語言中的算法是指為解決某個特定問題而採取的確定且有限的步，主要的五個特性是：有窮性、確定性、可行性、有0個或多個輸入、有一個或多個輸出。
首先，算法是指為解決某個特定問題而採取的確定且有限的步驟。
其次，一個算法包含的操作步驟應該是有限的；算法中每一條指令必須有確切的含義，不能有二義性，對於相同的輸入必須能得到相同的執行結果；算法中指定的操作，都可以通過已經驗證過可以實現的基本運算執行有限次後實現；在計算機上實現的算法是用來處理數據對象的，在大多數情況下這些數據對象需要通過輸入來得到；算法的目的是為了求解，這些解只有通過輸出才能得到（注意：算法要有一個以上的輸出）。
此外，一個算法應該具有以下五個重要的特徵：
第一，有窮性（Finiteness）算法的有窮性是指算法必須能在執行有限個步驟之後終止；
第二點，確切性（Definiteness）算法的每一步驟必須有確切的定義；
第三點，輸入項（Input）一個算法有0個或多個輸入，以刻畫運算對象的初始情況，所謂0個輸入是指算法本身定出了初始條件；
第四點，輸出項（Output）一個算法有一個或多個輸出，以反映對輸入數據加工後的結果。沒有輸出的算法是毫無意義的；
第五點，可行性（Effectiveness）算法中執行的任何計算步都是可以被分解為基本的可執行的操作步，即每個計算步都可以在有限時間內完成（也稱之為有效性）。
