1、算法必须在有限步骤之后停止 2、解决某一问题的算法是唯一的 判断1、2都对吗