算法正确的程序可以有零个输出

C语言中的算法是指为解决某个特定问题而采取的确定且有限的步，主要的五个特性是：有穷性、确定性、可行性、有0个或多个输入、有一个或多个输出。

首先，算法是指为解决某个特定问题而采取的确定且有限的步骤。

其次，一个算法包含的操作步骤应该是有限的；算法中每一条指令必须有确切的含义，不能有二义性，对于相同的输入必须能得到相同的执行结果；算法中指定的操作，都可以通过已经验证过可以实现的基本运算执行有限次后实现；在计算机上实现的算法是用来处理数据对象的，在大多数情况下这些数据对象需要通过输入来得到；算法的目的是为了求解，这些解只有通过输出才能得到（注意：算法要有一个以上的输出）。

此外，一个算法应该具有以下五个重要的特征：

第一，有穷性（Finiteness）算法的有穷性是指算法必须能在执行有限个步骤之后终止；

第二点，确切性（Definiteness）算法的每一步骤必须有确切的定义；

第三点，输入项（Input）一个算法有0个或多个输入，以刻画运算对象的初始情况，所谓0个输入是指算法本身定出了初始条件；

第四点，输出项（Output）一个算法有一个或多个输出，以反映对输入数据加工后的结果。没有输出的算法是毫无意义的；

第五点，可行性（Effectiveness）算法中执行的任何计算步都是可以被分解为基本的可执行的操作步，即每个计算步都可以在有限时间内完成（也称之为有效性）。