(1) ステップの有限数の問題の解決策を明確に定義されたルールの有限集合;たとえば、正弦波の評価のための算術演算のシーケンスの完全な仕様 x が与えられた precision.~(2) を任意の特定のタスクを実行するための操作のシーケンス。