计算自动机

Some people claim that all of nature will be simulated eventually on computers using cellular automata.

一些人主张，自然界所有的活动都可以用在计算机上运行的细胞自动机来模拟。

Quantum Automata, a kind of mathematical model of quantum computation, has become an active research area gradually.

量子计算的一种数学模型——量子自动机的研究也成为一个日益活跃的研究领域。

In this paper,results of Markov chain are used under the circumstances of the automaton model which belongs to logical level of Discrete Event System to analyze the steady states and transient states of the Markov model of DES,respectively based on four conditions of discrete-time parameter and continuous-time parameter.A simpler decision rule of system ergodic property which applies both to the conditions of discrete-time parameter and continuous-time parameter is presented through an example.The transient states of DES which under the condition of continuous-time parameter are analyzed and computed based on Kolmogorov backward equation or forward equation.

利用马尔科夫链的结果，在离散事件系统逻辑层次的自动机模型基础上，对DES的Markov模型的稳态和暂态特性，分别从时间参数连续和离散的情况下，分四个情况进行了分析，通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数情况下都通用的判定规则，并利用Kolmogorov向后或向前方程，对连续时间参数DES的暂态特性进行了分析和计算。

The simplest model of computation is a finite automaton.

最简单的模型计算是一个有限自动机。

Similarly called a nondeterministic finite automaton, it is another simple model of computation, although its processing sequence is not uniquely determined.

同样所谓的非确定性有限自动机，它是另一种简单的模型计算，但其处理顺序不是唯一确定。

Calibration of discretionary lane changing model based on close-range photogrammetry;2. In order to solve the problem that Gipps lane changing framework calculation is inefficient in lane changing model,a vehicle moving framework based on finite state automaton was proposed.

为了解决车道变换模型中采用Gipps换道框架计算效率不高的问题，提出了一种车辆行驶的有限状态自动机框架，该框架能够容纳选择性换道和强制性换道，使驾驶员从当前状态出发进行局部决策。

2Combined design data of rapid-fire guns,the machine structure have beenabstracted reasonable computation model of reduction.The equations thatdescribe relative motion and relative force about between moveable elements havebeen deduced.

2根据某型自动火炮的设计资料并进行合理的简化将具体的机械结构抽象成合理的计算模型，推导出描述自动机可动部件之间相互作用及相对运动的具体表达式。

Turing machine, random access machine, primitive recursive, cellular automaton, finite state machine, cell probe model, pointer machine, alternation, alternating Turing machine, nondeterministic Turing machine, oracle Turing machine, probabilistic Turing machine, universal Turing machine, quantum computation, parallel models: multiprocessor model, work-depth model, parallel random-access machine, shared memory.

图灵机，随机存取机，原始递归，元胞自动机，有限状态机，细胞探针模型，指针机，交替轮流进行，图灵机，非确定性图灵机，甲骨文图灵机，概率图灵机，通用图灵机，量子计算，并行型号：多模式，工作深入模型，并行随机存取机，共享内存。

Automata with truth-values in lattice-ordered monoid are more powerful than other kind of fuzzy automata, which-construct a new model of computing with words.

取值于格半群的自动机比其它形式的模糊自动机能接受更为广泛的形式语言与模糊语言，将基于词的计算模型建立在更广泛的理论之上。

The results were sometimes printed in pocket-size tables for the gunmen on the front line, or if there was enough time and the missile-gun was common, the tables were mechanically encoded into an apparatus on the gun, known as the automaton.

而计算出来的结果，有时会印在一些口袋大小的表格上，便于前线的火炮手来使用；或者，如果时间来得及，而发射飞弹的火炮又不是太过特殊的话，这些表格就会被编码来设定火炮上的装置，而这种装置，被是所知的自动机。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。