高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

可计算函数的基本指令研究

尹红梅

尹红梅. 可计算函数的基本指令研究[J]. 华东理工大学学报(自然科学版), 1992, (1).
引用本文: 尹红梅. 可计算函数的基本指令研究[J]. 华东理工大学学报(自然科学版), 1992, (1).
Yin Hongmei. Research on Basic Instructions of Computability Function[J]. Journal of East China University of Science and Technology, 1992, (1).
Citation: Yin Hongmei. Research on Basic Instructions of Computability Function[J]. Journal of East China University of Science and Technology, 1992, (1).

可计算函数的基本指令研究

Research on Basic Instructions of Computability Function

  • 摘要: Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。本文提供与之等价的另外三条Fortran形的基本指令,并论述了Davis的三条指令是必不可少的,另外还论证了它们与由Shepherdson & Sturgis在1963年提出的URM的等价性。

     

  • 加载中
计量
  • 文章访问数:  1138
  • HTML全文浏览量:  88
  • PDF下载量:  83
  • 被引次数: 0
出版历程

目录

    /

    返回文章
    返回