Core Concepts
アルゴリズムは、計算問題のすべてのインスタンスを解くことができるパターンの振る舞いを表現するものである。
Abstract
本論文の出発点は、数学およびコンピューター科学の標準的な文献で示されているアルゴリズムの非公式な説明から抽出された、アルゴリズムの特性のコレクションである。それに基づいて、プロトアルゴリズムの概念が導入される。アルゴリズムは、ある同値関係の下でのプロトアルゴリズムの同値類であると考えられている。3つの同値関係が定義されている。そのうちの2つは、適切な同値関係がなければならない範囲を示している。3番目のものは、これらの2つの間にあり、適切な同値関係であると考えられている。ACP に基づくコマンド型プロセス代数を使って、この同値関係が2つのプロトアルゴリズム間で成り立つことを証明する方法が提示されている。