状态逻辑语言迭代程序的可计算性 |
| |
引用本文: | 阎志欣.状态逻辑语言迭代程序的可计算性[J].软件学报,1996,7(A00):337-347. |
| |
作者姓名: | 阎志欣 |
| |
摘 要: | 状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效,实用、新型的纯逻辑式程序设计语言,递归无疑地确保了其计算能力,本文证明了仅用状态逻辑的迭工程序冰可计算部分递旭函数,这就等于证明了,任何图灵可计算的对象都可用纯逻辑代地定义和高效地计算。
|
关 键 词: | 状态逻辑 可计算性 程序语言 迭代程序 |
本文献已被 维普 等数据库收录! |
|