5.1.2 算法的正式定义