【 】是精确定义的一系列规则，它指出怎样从给定的输入信息经过有限步骤产生所求的输出信息。