自动机

stochastic connection

随机联络

stochastic automaton 随机自动机 | stochastic connection 随机联络 | stochastic control 随机控制

subalgebra

子代数

subadditivity 次可加性 | subalgebra 子代数 | subautomaton 子自动机

subbase

子基

subautomaton 子自动机 | subbase 子基 | subbundle 子丛

theory of cardinals

基数论

theory of automata 自动机理论 | theory of cardinals 基数论 | theory of complex multiplication 复数乘法论

deterministic Turing machine

确定型图灵机

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

non-deterministic Turing machine

非确定型图灵机

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

non-deterministic Turing machine

不确定图灵机

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

completely uniformizable space

完全可一致化空间

completely specified automation | 完全确定自动机 | completely uniformizable space | 完全可一致化空间 | completely unimodular matrix | 完全幺模矩阵

code walkthrough

代码走查

●代码走查(code walkthrough) 和代码审查(code inspection) 是两种不同的代码评审方法,这两种方法的主要区别是____(14)____ . ●某一确定有限自动机(DFA) 的状态转换图如下图所示,该DFA接受的字符串集是____(28)___ ,与之等价的正规式是___(29)___ .

warping winch

绞缆机, 牵曳绞车

MAMIE Minimum Automatic Machine for Interpolation and Extrapolation 内插法和外推法用的微型自动机 | warping winch 绞缆机, 牵曳绞车 | sports suit 运动衫

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI