形式的には計算機をチューリング機械やランダムアクセス機械()などの計算モデルとして定式化したうえで、アルゴリズムの使用する資源の量を入力データ長などに対する関数として表す。