:}-算法（），在数学（算学）和电脑科学之中，一个被定义好的、计算机可施行之指示的有限步骤或次序，常用于计算、和自动推理。作为一个，算法被用于计算函数，它包含了一系列定义清晰的指令，并可于有限的时间及空间内清楚的表述出来。算法中的指令描述的是一个计算，当其时能从一个初始状态和初始输入（可能爲空）开始，经过一系列有限而清晰定义的状态最终产生输出并停止于一个终态。一个状态到另一个状态的转移不一定是确定的。包括随机化算法在内的一些算法，都包含了一些随机输入。早在尝试解决希尔伯特提出的判定问题时，关于算