(1) 一組有限的明確規則的有限數量的步驟 ； 在問題的解決例如，序列的算數運算的評價正弦的完整規範到給定的 precision.~(2) x 任何用於執行特定任務的操作序列。