关于函数式描述方法 ●用函数式语言来描述算法 函数空间:INT*×INT→BOOL 函数定义(方程) lookup L a (nulL→ FALSE, a=hd LTRUE, lookup(tIL)a) 2021/2/52021/2/5 17 关于函数式描述方法 ⚫ 用函数式语言来描述算法 – 函数空间：INT*  INT → BOOL – 函数定义（方程） lookup L a = (null L→FALSE， a=hd L→TRUE，lookup (tl L) a )