算法具有确定性，即算法的每一个步骤都具有确定的含义，不会出现二义性，选项B错误。算法具有有穷性，即任意一个算法在执行有穷个计算步骤后必须终止，选项C错误。算法可以没有输入，但必须有输出，选项D错误。