算法和程序都应具有下面一些特征：有输入，有输出，确定性，有穷性，有效性。