A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions.
英
美
Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。
目录
查词历史
英 汉