您要查找的是不是：
- multitape Turing machine model 多带图灵机模型
- Turing Machine Model 图灵机模型
- A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions. Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。
- One model, the Turing machine, stores characters on an infinitely long tape, with one square at any given time being scanned by a read/write head. 一种模式是图灵机，它把字符储存在一个无限长的纸带上，每次扫描一个方格时，都要读写带头。
- He was already an accomplished computer scientist and software pioneer with a growing interest in biology in 1998 when he first designed a model for a molecular Turing machine. 夏比洛是杰出的资讯工程科学家和软体设计先驱，对生物领域越来越感兴趣，并于1998年设计了第一个分子涂林机器的模型；
- The reached conclusion shows that no matter how advanced the programming language is, if the real computer is based on the model of "Turing machine", the ability of the program will always be limited, i.e. there are many undecidable programs. 由得出的结论可知：无论程序设计语言如何进步，只要最终的实际计算机是基于图灵机模型，则程序的功能总具有局限性，即存在大量不可判定的程序。
- Systemic security strategy is described by security query in administrative model of role-based access control (RBAC). According to the definition of state-transition system, security analysis is defined and executed on Turing machine. 在基于角色的访问控制管理模型中;采用安全查询来描述系统安全策略;引入状态变换系统定义基于角色的访问控制管理模型及其安全分析;用图灵机理论和计算复杂性理论进行安全分析.
- The DNA molecular computation model of Adleman and the DNA molecular Turing machine of Shapiro et al. are also reviewed. At the end, the development of biological computers is prospected. 简述了DNA分子计算机的原理;对Ad lem an的DNA分子计算模型和Shap iro等的DNA分子图灵机模型进行了综述;并对生物计算机的未来发展进行了展望.
- Lisp: Turing Machines are an awkward way to describe computation. 图灵机的计算模式糟得很。
- They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM). 他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- The similiarities and differences between DNA computer and turing machine are compared also. 比较了DNA计算机与图灵机的异同;
- We thank you for your letter of April 28 in which you inquire about our business machine model PH-68. 感谢您四月二十八日来函询问本公司PH－68型事务机器。
- It is declared in the A. Church proposition that every algorithm can be described with a Turing machine. 著名的丘奇(A.;Church)命题指出;任何算法都可以用一个图灵机来描述
- Bacteria-phage computer takes insertion/deletion systems as its theoretical model, this model has the same computing capability as Turing machines. 菌毒计算机采用insertion/deletion systems(插入删除系统)为其理论模型，该系统具有和Turing机等同的计算能力。
- Finally, the operation's expression ability of Turing machine properties is proved. 最后证明了这类操作的图灵机表达能力。
- The Tea-bag Packing Machine model SD-DPC-81 have added automatic boxing device instead of envelope packing system. 81型包装机减掉了外袋封装机构，增加了自动入盒装置。
- The automatic assembly machine model WJ-AM-30A assembles biconic bonnell springs, this machine is ma... 发布者：纪荣所在地：浙江宁波市行业：机械及行业设备职位：经理工作年限：
- Those relations among the reduciblities are discussed,We introduce the Operator Turing Machine and give a Turing hierarchy of C[0,1] by using it. 引入了算子图灵机的概念,利用算子图灵机给出了 C[1,0]上的一个分层(不可解度的分层)。
- The production line include ZC auto washer, GD balanced pressure filer, WFG cap turing machine, SSJ carrying machine etc. 本生产流水线有ZC型自动冲瓶机、GD型等压灌装机、WFG型旋盖机及SSJ型输送机等系列产品组成。
