北航-程序设计语言原理2014年考题(回忆不足版)
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一、IMP小语言添加指针类型和数组类型的语法如下：1、
Declaration：……
Command：……
2、
Declaration：……
Command：……
写出其指称语义的修改和扩展，必要时可添加辅助函数。
二、用java语言实现睡眠理发师问题
三、
1. 用λ演算证明如下命题
Zerop 1=F;
其中：
F=λx.λy.y //逻辑“假”值
T=λx.λy.x //逻辑“真”值
1=λx.λy.xy //数值“1”
Zerop=λn.n(λx.F)T
2.……