A算法中执行的步骤可以无休止地执行下去B算法中的每一步操作必须含义明确C算法中的每一步操作都必须是可执行的D算法必须有输出