|
|||||
|
|
| 可逆编程语言相关理论及实践研究 | |
| 引用本文： | 卫丽华.可逆编程语言相关理论及实践研究[J].教育技术导刊,2015,14(2):62-65. |
| 作者姓名： | 卫丽华 |
| 作者单位： | 南通理工学院 软件工程系，江苏 南通 226014 |
| 基金项目： | 南通理工学院校级科研项目 |
| 摘 要： | 从编程语言的角度研究了可逆计算。首先，给出可逆编程语言流程图的3种基本结构，从而构建一个可逆编程语言的可视模型；其次，证明可逆语言的可逆图灵机完备性，进而论证其与传统编程语言在计算能力上的一致性；最后，介绍了可逆编程语言Janus并进行了编程实践。 |
| 关 键 词： | 可逆计算 可逆编程语言 流程图 图灵机 图灵完备 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 | |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 | |