图灵机

quintuple Turing computable function

五元组图灵可计算函数

quintuple space 五维空间 | quintuple Turing computable function 五元组图灵可计算函数 | quintuple Turing machine 五元组图灵机

countable

可数的

和第三次数学危机的解决方案. 其本质问题是: 给定一个图灵机 T,和一个任意语言集合 S, 是否 T 会最终停机于每一个. 其意义相同于可确定语言. 显然任意有限 S 是可判定性的,可数的(countable) S 也是可停机的.

non-deterministic finite automaton

非确定型有穷自动机

非终极符 non-terminal | 非确定型有穷自动机 non-deterministic finite automaton | 非确定型图灵机 non-deterministic Turing machine

Solvable

可解

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

deterministic Turing machine

确定性图灵机

确定性策略|deterministic policy | 确定性图灵机|deterministic Turing machine | 确定性系统|deterministic system

non-deterministic Turing machine

非确定型图灵机

非确定型有穷自动机 non-deterministic finite automaton | 非确定型图灵机 non-deterministic Turing machine | 线性文法 linear grammar

non-deterministic Turing machine

非确定性图灵机

非切向极限|non-tangential limit | 非确定性图灵机|non-deterministic Turing machine | 非剩余|non-residue

non-deterministic Turing machine

不确定图灵机

non-deterministic automation 非决定性自动机 | non-deterministic Turing machine 不确定图灵机 | non-detonating combustion 无爆燃烧

Turing Machine, TM

图灵机

图表 Chart | 图灵机 Turing Machine, TM | 图栈 graph stack

Turing

图灵机

0型(PSG) 短语结构文法 递归可枚举语言 图灵机(Turing)1型(CSG) 上下文有关文法 上下文有关语言 线性界限自动机2型(CFG) 上下文无关文法 上下文无关语言 非确定下推自动机有限自动机作为一种识别装置,它能准确地识别正规集.

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul