算法一般具有可执行性、确定性、有穷性等特征。