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