算法【一組有窮的規(guī)則】特征

給出解特定類型問題的運(yùn)算序列

1有限性（僅不滿足此條的過程稱為計(jì)算方法）
2確定性 精確定義每一步驟
3輸入 零個或多個輸入
4輸出 一個或多個輸出
5能行性 在人的理解范圍內(nèi)的可行
------------------------
形式化定義

四元組(Q,I,Ω,f),Q是包含I和Ω的一個集合。而f是從Q到其自身的一個函數(shù)。Ω

中元素q，f(q)=q

Q 計(jì)算機(jī)狀態(tài)
I 輸入
Ω 輸出
f 計(jì)算規(guī)則
------------------------
序列x[0].....x[k]
x=x[0]   x[k+1]=f(x[k])  k>=0

I-----f------>Ω

I中元素從x=x[k]開始，k增加至x[k]為Ω中最小整數(shù)時，就說序列結(jié)束


詳細(xì)描述請見《計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)》卷一 P7