论指命系统的递归性 |
| |
引用本文: | 唐稚松.论指命系统的递归性[J].数学学报,1965,15(6):842-860. |
| |
作者姓名: | 唐稚松 |
| |
作者单位: | 中国科学院计算技术研究所 |
| |
摘 要: | <正> 本文主要目的之一是:试图应用能行性理论作为工具对数字计算机上的几组指令系统的递归性进行讨论.其中,特别注意到条件转移指令及重复指令的作用.在§2中讨论的是一组具有原始递归性的指令系统,在§3中则讨论了几组具有部分递归性的指令系统.
|
收稿时间: | 1964-4-25 |
修稿时间: | 1964-9-15 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|