一个专门为解决某一问题的有穷指令集合 特性： 有穷性：有限条指令 可行性/有效性：每一步指令必须是足够基本，原则上能够由人拿着笔和纸，在有限时间内实现的指令 确定性：每步指令必须有清晰、无歧义的定义 输入：零条或多条外部输入 输出：至少产生一个输出 这些特性中包含的不形式化、直觉化的特性有：可行性/有效性、确定性 reference