算法必须具备五个基本特性：输入、输出、确定性、有穷性和有效性。其中，有效性包括终止性，所以不能包含无穷递归的情况。