查询词典 Turing computability

Henry Kissinger：建立全球外交学说,提出避免战争理论,为自由阵营赢得冷战

Alan Turing:建立密码理论,提出通用计算机模型 | Henry Kissinger:建立全球外交学说,提出避免战争理论,为自由阵营赢得冷战 | Karl Popper:科学哲学大师

Henry Kissinger：建立全球外交学说,提出避免战争理论,为西方阵营赢得冷战

Alan Turing:建立密码理论,提出通用计算机模型 | Henry Kissinger:建立全球外交学说,提出避免战争理论,为西方阵营赢得冷战 | Karl Popper:科学哲学大师

logout：退出帐户

1、登陆主页,点击"Access Your Account" 进入下一页,输入你的帐号(Account Number)、密码(Passphrase)和系统给出的校验码(Turing Number)进入个人帐号区域,内部区域上方有6个图标,从左到右分别表示:退出帐户(Logout);帐号余额(Balance);

nondeterministic automaton：不确定性自动机,不确定自动机

nondeterminisitc Turing machine 不确定的图灵... | nondeterministic automaton 不确定性自动机,不确定自动机 | nondeterministic finite automaton 不确定的有穷自动机,不确定性有限自动机,非确定的有限...

nondeterministic finite automaton：不确定的有穷自动机,不确定性有限自动机,非确定的有限自动机

nondeterminisitc Turing machine 不确定的图灵机 | nondeterministic finite automaton 不确定的有穷自动机,不确定性有限自动机,非确定的有限自动机 | nondeterministic program 不确定程序

nondeterministic stack automaton：不确定的堆栈自动机

nondeterministic programming 非确定性程序设计 | nondeterministic stack automaton 不确定的堆栈自动机 | nondeterministic Turing machine 非确定性图灵机

nondeterministic tree automaton：不确定性树自动机

"不确定时间阶层","non-deterministic time hierarchy" | "不确定性树自动机","nondeterministic tree automaton" | "非确定性杜林机","nondeterministic Turing machine"

one-one reducible：一一归约

多一归约 many-one reducible | 一一归约 one-one reducible | 图灵归约 Turing reducible

parked position：停车位

turing radius转弯半径 | parked position停车位 | pull from curb从路边驶离

Shore gear：岸上设备

Major repairs大修 | Shore gear岸上设备 | Turing basin 掉头区

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛