可逆编程语言相关理论及实践研究

• 作者: 卫丽华
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 可逆计算 可逆编程语言 流程图 图灵机 图灵完备
• 年，卷（期）: 2015,（2）
• 页码范围: 62-65
• 页数: 4页
• 分类号: TP314
• 字数: 3882字
• 语种: 中文
• DOI: 10.11907/rjdk.1431017

摘要

从编程语言的角度研究了可逆计算。首先，给出可逆编程语言流程图的3种基本结构，从而构建一个可逆编程语言的可视模型；其次，证明可逆语言的可逆图灵机完备性，进而论证其与传统编程语言在计算能力上的一致性；最后，介绍了可逆编程语言Janus并进行了编程实践。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卫丽华	南通理工学院软件工程系	15	15	2.0	2.0