算法是由若干条指令组成的有穷序列，且要满足输入、（）、确定性和（）四条性质。