计算理论7章 函数式语言基础.pptVIP

语义函数： 语义函数的功能描述部分(可称为基调部分或函数模式部分)。 语义方程部分。 ?sl【S 】 =λ?.?s【S】? ?sl【SL;S】=λ?.?s【S】(?sl【SL】?) ? ?s【skip 】=λ?.? ?s【x:=E】 =λ?.?[?e【E】?/x] ?s【SL】=λ?.?sl【SL】? ?s【if E then S1 else S2】 =λ?.(?e【E】?→?s【S1】?,?s【S2】?) ?s【while E do S】=λ?.φ? where φ? = (?e【E】?→φ(?e【S】?), ? ) 计算理论 第七章 函数式语言基础 函数式抽象语言 特点 引用透明 并行性好 具有高阶值 过程式：function f(x,y,z:real):real； begin return(x+y+z) end 函数式： f x y z = x + y + z 计算的延迟性 模式匹配 CASE S OF ass(x,E) :Exp1 if(E0,E1,E2) :Exp2 while(E