论文部分内容阅读
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语.
βη归约的Church-Rosser性质的一个新证明
【摘 要】
：
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语.
【机 构】
：
南京大学软件新技术国家重点实验室,南京,210093
【出 处】
：
2004年全国理论计算机科学学术年会
【发表日期】
：
2004年期
其他文献
制造报文规范(MMS)是工业控制领域一个非常重要的应用层通信协议,其中变量访问服务是实现监视和控制实设备的基础.本文首先介绍了MMS的VMD模型,在此基础上剖析了变量访问模型
目的 分析上海市5家医院高血压住院患者降压药物的临床使用情况,并评价其合理性.方法 回顾性分析上海市5家医院2011年高血压住院患者电子处方数据,通过药物利用指数(DUI)、日
脆弱性扫描器能够自动连接目标系统并检查它是否存在已知脆弱性.本文讨论了脆弱性扫描器的分类、结构、工作原理、主要功能并分析了目前脆弱性扫描器的局限性.重点分析了脆弱
基于对EAM系统的特点和在我国发展现状的研究,本文提出了一种关于EAM软件开发的分析和解决方案.它用于指导实际开发,保证了所开发的EAM软件的通用性和灵活性.
本文在感兴趣集的基础上,提出了一个基于感兴趣集的求图的最佳路径的启发式搜索算法IA~*,并证明了算法IA~*的可采纳性和其较优越的性能。
On the basis of the interested s
目的分析我院中药制剂临床应用情况,评价其所处的地位及作用,为中药制剂未来的发展提供参考。方法对2009-2011年我院中药制剂的销售及应用情况进行回顾性分析。结果我院的中
目的 研究不同溶剂及浓度对血竭体外透皮吸收的影响,优化血竭经浅表创伤皮肤的给药方案.方法 采用改良的Franz扩散池装置,以针刺模拟浅表创伤大鼠皮肤为屏障,运用HPLC法测定
本文分析了目前EAI的关键使能技术和基本应用模式的局限性,指出其的主要问题是缺乏考虑企业业务的整体性和企业信息系统的架构,提出一个以企业架构为指导、以软件架构为中心
目的 探讨对老年患者Ⅰ类切口手术预防用抗菌药物进行干预的效果.方法 选取我院2010年4月-2011年4月出院的手术患者(168例)为对照组,和2012年4月-2013年4月出院的手术患者(17