| 状态逻辑语言迭代程序的可计算性* |
| |
| 引用本文： | 阎志欣.状态逻辑语言迭代程序的可计算性*[J].软件学报,1996,7(Z1):338-347. |
| |
| 作者姓名： | 阎志欣 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 北京lOO083 |
| |
| 基金项目： | 本文研究得到国家863高科技项目基金资助. |
| |
| 摘 要： | 状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．
|
| 关 键 词： | 状态逻辑，迭代计算，部分递归函数，可计算性． |
| 收稿时间： | 1995/9/25 0:00:00 |
THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE |
| |
| Yan Zhixin.THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE[J].Journal of Software,1996,7(Z1):338-347. |
| |
| Authors: | Yan Zhixin |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
