对于非正式的算法， 用形式化的方式进行描述：对于非正式的算法， 用形式化的方式进行描述：