一个演算法的复杂性可用占用记忆体空间和运算时间来衡量。布鲁姆将这些具体测度的共同性质定义为如下抽象测度,因而得名。
设Ψ(n)为任意一个部分可计算函数,如果部分函数Φ(n)具备下述条件则称为布鲁姆测度: (1)对任何n,如果Ψ(n)有定义,则Φ(n)亦有定义; (2)对任何n和m,述词函数Φ(n)=m为可计算的。此两条件称为布鲁姆测度公理。