高级检索

    尹红梅. 可计算函数的基本指令研究[J]. 华东理工大学学报（自然科学版）, 1992, (1).
    引用本文: 尹红梅. 可计算函数的基本指令研究[J]. 华东理工大学学报（自然科学版）, 1992, (1).
    shu
    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).
    shu

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

    Research on Basic Instructions of Computability Function

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

       

      Abstract: A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions. In this paper, the Davis' three instructions were proved to be necessary, and three other equivalent instructions were also proposed. The model was proved to be equivalent to URM advanced by Shepherdson and Sturgis in 1963.

       

      • HTML全文
      • 参考文献(0)
      • 相关文章
      • 施引文献
    • 资源附件(0)

    /

    返回文章
    返回