算法【一組有窮的規則】特征
給出解特定類型問題的運算序列
1有限性（僅不滿足此條的過程稱為計算方法）
2確定性 精確定義每一步驟
3輸入 零個或多個輸入
4輸出 一個或多個輸出
5能行性 在人的理解范圍內的可行
------------------------
形式化定義
四元組(Q,I,Ω,f),Q是包含I和Ω的一個集合。而f是從Q到其自身的一個函數。Ω
中元素q，f(q)=q
Q 計算機狀態
I 輸入
Ω 輸出
f 計算規則
------------------------
序列x[0].....x[k]
x=x[0] x[k+1]=f(x[k]) k>=0
I-----f------>Ω
I中元素從x=x[k]開始，k增加至x[k]為Ω中最小整數時，就說序列結束
詳細描述請見《計算機程序設計藝術》卷一 P7