查询词典 Turing computability

Solvable：可解

定义二:图灵机 -- 图灵机是英国数学家阿兰.图林(Alan Turing)于定义三:"万能"(universal)图灵机 -- 一个图林机, 它能仿效所有至于"可计算"问题,我想就是指"可解"(solvable)问题.

nondial trunks：非拨号(自动电话)中继线

"非确定性杜林机","nondeterministic Turing machine" | "非拨号(自动电话)中继线","nondial trunks" | "无向图","nondirected graph"

electron tunneling：电子隧穿

IBM 的5 名员工由於发现了电子隧穿(electron tunneling)现象,以及发明能够观察到单个原子的电子显微镜而获颁诺贝尔奖. 另外,IBM 的员工还五次获得全美科技奖、四次获得全美科学奖、四次获得杜宁奖(A.M. Turing Awards).

turbid thoughts：混乱的思想

tunnel vision 隧道视觉 | turbid thoughts 混乱的思想 | Turing machine 图灵机

turgor：充盈

turgidness 肿胀 | turgor 充盈 | Turing 图灵机

turgor vitalis：血管充盈

turgor pressure 涨压 | turgor vitalis 血管充盈 | Turing 图灵机

universal turing machine：通用图灵机

一个语言是图灵完备的,意味着该语言的计算能力与一个通用图灵机(Universal Turing Machine)相当,这也是现代计算机语言所能拥有的最高能力. "最新的两代语言我不是特别熟悉,就说一下前几代吧. "一阵沉默后,引号终于毛遂自荐,"计算机语言是人用来指挥计算机的语言,

universal turing machine：通用杜林机

unitary code 单元码 | universal Turing machine 通用杜林机 | universally unique identifier 通用独一识别码

TM Turing Machine：图灵机(即不受存储容量限制的假想计算机)

TM Transverse Magnetic Field 横向磁场 | TM Turing Machine 图灵机(即不受存储容量限制的假想计算机) | tm Turkmenistan 土库曼斯坦(域名)

deterministic Turing machine：确定型图灵机

确定型下推自动机 deterministic pushdown automaton | 确定型图灵机 deterministic Turing machine | 等价关系 equivalence relation

steam trap valve：疏水阀

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

aldermanship：市政官

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