定义1.一个有限指令集(为了功能实现的一堆命令)2.接收一些输入(有些情况下不需要输入)3.产生输出(这是必然的)4.在一定有限步骤后结束5. 每一条指令必须有充分明确的目标,不可以有歧义;
在计算机处理范围内(目标不可过于远大)
描述不依赖于任何一种计算机语言以及具体的实现手段(描述的手段有要抽象)