算法必须具备有穷性、确定性、输入和输出以及可执行性，而无穷性不符合算法的定义。