推論

本記事では、アルゴリズムを仕様化する言語として、非決定的計算の形式主義の使用について議論します。