关于函数式描述方法 函数式语言的组成部分 表达式 非|et表达式(常量,变量,λ表达式,条件表达 式,以及各种操作) let表达式 /etx=E’inE letrec表达式 letrec x=E in E 在表达式中增加类型说明 2021/2/5
2021/2/5 16 关于函数式描述方法 ⚫ 函数式语言的组成部分 – 表达式 ⚫ 非let表达式（常量，变量，表达式，条件表达 式，以及各种操作） ⚫ let表达式 let x = E’ in E ⚫ letrec表达式 letrec x = E1 in E ⚫ 在表达式中增加类型说明
关于函数式描述方法 ●用函数式语言来描述算法 函数空间:INT*×INT→BOOL 函数定义(方程) lookup L a (nulL→ FALSE, a=hd LTRUE, lookup(tIL)a) 2021/2/5
2021/2/5 17 关于函数式描述方法 ⚫ 用函数式语言来描述算法 – 函数空间：INT* INT → BOOL – 函数定义（方程） lookup L a = (null L→FALSE， a=hd L→TRUE，lookup (tl L) a )
操作语义学 2021/2/5
2021/2/5 18 操作语义学