A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions.

• Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。