自动机

Finite automaton, a computational model of extremely limited computing ability, was proved to have the capability of solving primeness test by construction.

有穷自动机，一种计算能力极其有限的计算模型，具有解决素性测试的能力通过构造法得到了证明。

A shallow water acoustic field algorithm using finite automaton was presented.

提出一种用有穷状态自动机研究浅海声场的方法。

DFA, a set of finite automata algorithms are interested can take a ...

DFA，这个一个关于确定有限自动机的算法，有兴趣可以参考一下。

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换道框架计算效率不高的问题，提出了一种车辆行驶的有限状态自动机框架，该框架能够容纳选择性换道和强制性换道，使驾驶员从当前状态出发进行局部决策。

A cellular automaton model is proposed to describe the traffic flow at the grade roundabout crossing with the inner and outer lanes. The effect of the turning probability at the grade roundabout crossing is studied.

从道路结构出发，建立了具有内、外环道的平面环形交叉路口元胞自动机模型，研究了转向概率对平面环行交叉路口交通流的影响。

Comparisons of flow curves, microstructure evolution, distribution of average grain size and number of grain side in final microstructure show that the simulated results agree very well with the experimental ones, suggesting that the present CA model is feasible to study the DRX process of AZ91 alloy.

对比分析应力—应变曲线、组织演变、稳态组织中的平均晶粒尺寸及晶粒边数分布，模拟结果与实验结果的良好一致性表明本文作者提出的元胞自动机模型可以用于AZ91合金动态再结晶过程的模拟研究。

This language integrates and expands GDMO and GRM, and the first-order predicate logic and non-deterministic finite state machine with action are introduced into it.

该语言综合并扩展了GDMO和GRM，并在其中引入了一阶谓词逻辑和带动作的非确定的有限状态自动机。

In chapter two, the basic knowledges of finite state automata and finite homogeneous Markov chain are introduce.

第二章，介绍有限状态自动机、有限齐次马尔可夫链及随机系统的基础知识。

But in the cursed babel of man-things, it has many designations: automata, robot, golem, droid, homunculus, simulacra.

不过，在受到诅咒的人-东西的巴别塔中，这个东西有不止一个名号：自动机、机器人、高勒姆、智能机、矮人、拟像。

The queuing behavior model takes modified included angle between goal direction and neighbor direction as the main factors of transition probability function.

排队行为模型以邻居方向与目标方向间的修正夹角作为主要因子构造了元胞自动机模型的转移概念率函数。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。