图灵机 oor Engels
图灵机
Vertalings in die woordeboek Sjinees - Engels
Turing machine
zh
abstract machine
我需要说的是这里没有图灵机
So what I need to say is that no Turing machine,
(computing theory) Turing machine
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
非形式的说,如果这种模型存在,则它的每个计算机都可以被一个图灵机模拟。
What happened.Toast?LASER-wikipedia2 LASER-wikipedia2
有可能改变图灵机的定义使得特定类的全图灵机计算所有全可计算函数?
Please,master, don' t send me awayLASER-wikipedia2 LASER-wikipedia2
给定一个无限制文法,这种图灵机足够简单构造为两磁带非确定图灵机。
And this is you, right?LASER-wikipedia2 LASER-wikipedia2
这里最关键的灵感是图灵机:这一看似简单的理论构造抓住了抽象符号处理的本质。
so, Nadia became the face of the monthWikiMatrix WikiMatrix
交替式图灵机的概念由Chandra和Stockmeyer(英语:Larry Stockmeyer)于1976年提出。
This one has a great view!LASER-wikipedia2 LASER-wikipedia2
这个集合编码了停机问题,因为它描述了每个图灵机停机的输入参数。
Can you do this for me?LASER-wikipedia2 LASER-wikipedia2
图灵机可以轻易的模拟带有两个计数器的 FSM,所以两个机器有等价的能力。
Does he come home late?LASER-wikipedia2 LASER-wikipedia2
例如,在柯尔莫哥洛夫-柴廷(英语:Gregory Chaitin)最小描述长度的概念中,对象必须选择一个图灵机,用它的基本操作来描述对象的操作,用它来代表对象的“简单性”。
He knowed he had a certain air about himLASER-wikipedia2 LASER-wikipedia2
线性有界自动机是一个非确定型图灵机,并遵循以下三个条件: 其输入字母表中包括两个特殊符号“”,作为左右端点的标记。
Computer' s going to the F. B. I. You can follow it outLASER-wikipedia2 LASER-wikipedia2
标记系统也可以看作抽象机,叫做 Post 标记机(不要混淆于Post-图灵机)——简单的说,其唯一的磁带是无限长度的FIFO队列的有限状态自动机,在每次状态转变中机器读在队列头部的符号,从头部删除固定数目的符号,并可以向尾部增加符号。
Let' s see here.You' ve seen this one?. Pull the rabbit out of the hatWikiMatrix WikiMatrix
如果匹配,则图灵机接受这个字。
contract of carriage means a contract for or including air transport services, including one where the carriage is composed of two or more flights operated by the same or different air carriersLASER-wikipedia2 LASER-wikipedia2
由于模拟计算机不使用离散值,而是使用连续值,所以过程不能像精确等同那样可靠地重复进行,就像它们可以使用图灵机一样。
Two years ago nowLASER-wikipedia2 LASER-wikipedia2
从1948年开始,研究人员将这种计算模型的思想应用到B型图灵机上。
I was only wondering when Harry got hereLASER-wikipedia2 LASER-wikipedia2
由于海狸很忙函数不能被图灵机计算, 邱奇-图灵论题断言该函数不能使用任何方法进行有效计算。
Any Member State wishing to delegate a specific control task to a control body shall notify the CommissionLASER-wikipedia2 LASER-wikipedia2
已知lambda演算在计算性上等价于关于计算的任何其他似乎为真的模型(包括图灵机)的能力;就是说,可以在任何这些模型中完成的计算都可以用lambda演算表达,反之亦然。
You wanna get breakfast?LASER-wikipedia2 LASER-wikipedia2
如果 g 是扩展 f 的全可计算函数,则 g 将对某个图灵机是可计算的;固定 e 作为这样一个机器的附标。
I' ve been looking For someone to shed some lightLASER-wikipedia2 LASER-wikipedia2
"Post-图灵程序"和"Post-图灵机"的名字由Martin Davis在1973年-1974年使用(Davis 1973, pp. 69ff)。
Mornin ', HarveLASER-wikipedia2 LASER-wikipedia2
随机存取存储程序机(RASP)——带有指令在其寄存器中的RAM,类似于通用图灵机;因此它是冯·诺伊曼结构的一个例子。
The Agency now has 29 trained CPIC auditors (an increase of 17 from 2004) throughout the regions and at HQ.LASER-wikipedia2 LASER-wikipedia2
虽然IPP仍旧与PSPACE相等,但是IPP协议系统在涉及启示图灵机的情况下与IP的状况差异颇大:对所有的启示图灵机IPP=PSPACE,但是几乎对所有的启示图灵机,IP ≠ PSPACE。
Sometimes a hug is goodWikiMatrix WikiMatrix
自Adleman的实验以后,学界又取得了许多进展,多种图灵机被证明是可行的。
Will the Commission estimate, on the basis of a typical basket of food purchases in each Member State for a typical household, the additional cost paid by consumers as a result of farm support prices compared with a situation where all aid was untied to production and world market prices applied?LASER-wikipedia2 LASER-wikipedia2
首先,图灵机可以用装备了两个栈的有限状态机(FSM)来模拟。
Who did you sell them to?LASER-wikipedia2 LASER-wikipedia2
但是要注意,偏可计算函数集合(那些不需要对所有参数有定义的函数)可以被明确的枚举,例如通过枚举图灵机编码。
Compensation shall comprise the payment of interest calculated by applying the reference rate of interest to the amount of the cross-border credit transfer for the period from:-the end of the agreed time limit or, in the absence of any such time limit, the end of the fifth banking business day following the date of acceptance of the cross-border credit transfer order, toWikiMatrix WikiMatrix
用交替式图灵机的等价定义。
Well, they hit puberty, seem to lose all respect for youLASER-wikipedia2 LASER-wikipedia2
所以,FSM 加上两个计数器至少有图灵机一样的能力。
We raised our kids in a straight line with discipline and with God' s good guidanceLASER-wikipedia2 LASER-wikipedia2
宇宙不是一台图灵机(也就是说,物理的定律不是图灵可计算的),但是不可计算的物理事件却不能阻碍创建超计算机(hypercomputer)的可能性。
First, you have to promise you won' t freak outLASER-wikipedia2 LASER-wikipedia2
83 sinne gevind in 5 ms. Hulle kom uit baie bronne en word nie nagegaan nie.