您要查找的是不是：
- Unable to connect to specified machine or machine is off line. 无法连接到指定的机器或机器已脱机。
- The terminal is off line while repairs are being made to the central computer. 在中央计算机修理期间，这台终端不能使用。
- The production line include ZC auto washer, GD balanced pressure filer, WFG cap turing machine, SSJ carrying machine etc. 本生产流水线有ZC型自动冲瓶机、GD型等压灌装机、WFG型旋盖机及SSJ型输送机等系列产品组成。
- I am getting off line, talk to you later. 我要下线了,以后再聊。
- Already on it, sir. Synchro Cannon off line. 已经好了，长官。同步炮关闭。
- Help on create new SAP off line report and test it. 调整错误的订单信息，库存报告，以及转库问题等。
- Just taken off line, this machine is in average condition,PPU equippedMany photos, we can send them on request. 以上信息由企业自行提供，网站信息内容真实性未经“赛门国际”或其他机构证实，请谨慎采用，风险自负。
- They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM). 他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。
- So you can search and go through this site off line. 所以你可以在离线状态下浏览整个站点。
- 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计算机与图灵机的异同;
- Lisp: Turing Machines are an awkward way to describe computation. 图灵机的计算模式糟得很。
- It is declared in the A. Church proposition that every algorithm can be described with a Turing machine. 著名的丘奇(A.;Church)命题指出;任何算法都可以用一个图灵机来描述
- The racquet is facing the target for only a millisecond and then goes off line. 网拍只有毫秒面对目标,然后就离线了。
- Finally, the operation's expression ability of Turing machine properties is proved. 最后证明了这类操作的图灵机表达能力。
- Off line programming can greatly enhance efficiency and facilitate the users. 通过离线编程能极大地提高激光加工效率 ,方便用户的使用。
- A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions. Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。
- It can automatically trim resistor, cut off line and mark sign in one time. 具有调阻精度高、扫描速度快、性能可靠等优点，可以长时间连续进行工作。
- 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]上的一个分层(不可解度的分层)。
