算法就是一组有穷的（），它们规定了解决某一特定类型问题的（）。