戴静安
- 作品数：5 被引量：16H指数：2
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- βη归约的Church-Rosser性质的一个新证明
- λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语.
- 戴静安胡海星宋方敏
- 关键词：Λ演算图灵机
- 文献传递
- 量子程序设计语言NDQJava
- 本文提出一种基于Java的新型量子程序设计语言NDQJava，考虑到未来量子计算机可能的特点，这是一种混成语言，Java是其子语言，与现有量子程序设计语言不同，此语言绕过不可克隆原理，根据量子复制引入量子传输成分，使量子...
- 戴静安
- λ定义可计算函数时不动点算子的不必要性被引量：1
- 2006年
- λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.
- 戴静安宋方敏
- 量子程序设计语言NDQJava被引量：13
- 2008年
- 量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.
- 徐家福宋方敏钱士钧戴静安张云洁
- 量子程序设计语言NDQJava处理系统被引量：10
- 2008年
- 简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现.
- 宋方敏钱士钧戴静安张云洁徐家福
- 关键词：词法分析程序
