狭义的算法是____的计算步骤的分解。