当我们改进芯片和自动机械装置时，我们没有理由相信，在将来某个时候计算机会完整地设计其他计算机，一些自动机械系统会完整地制造其他自动机械系统。
As we improve chips and robots, there is no reason to believe that at some point computers will wholly design some other computers, and some robotic systems wholly manufacture other robotic systems.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
应用元胞自动机模型对合金钢表面氮化及扩散层中氮化物沉淀过程进行了计算机模拟。
Simulations of surface nitridation and nitride precipitation in alloy steels have beeb carried out with cellular automaton modeling.
通过计算机数值模拟，得到了单速车道和多速混合车道元胞自动机交通流模型的基本图，并对这两种模型的交通流特性进行了分析和讨论。
Via computer numerical simulation, the fundamental diagrams of the single-speed lane and multi-speed lane CA traffic flow models are got, and these two models' traffic flow characters are presented.
有穷自动机，一种计算能力极其有限的计算模型，具有解决素性测试的能力通过构造法得到了证明。
Finite automaton, a computational model of extremely limited computing ability, was proved to have the capability of solving primeness test by construction.
自动机理论是作为离散自动装置和计算机理论模型建立的。
The automaton theory is established as theoretical model of discrete automatic device and computer.
基于局部作用原理，借用有限元离散和插值技术，引入元胞自动机的演化思路，得到一种新的力学计算方法——元胞单元法。
Based on principle of local action and the idea of cellular automata, a new mechanical method cellular element method is presented through inducting the discrete techniques of finite element method.
本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算d BM减法算法进行改进。
In this paper an extension of timed automata with priorities is introduced, and we present an improved algorithm to compute subtraction on DBMs.
利用元胞自动机的计算并行性，使该算法大大减少了计算时间，提高了动态优化的实时性。
Because of the parallel computing, this algorithm can reduce the time of computing and satisfy the requirement of the real-time optimizing.
为了在计算机中实现模型的自动机表示，选用了PROLOG语言。
PROLOG language is selected in order to realize the automaton representation of model in computer.
对比表明，计算结果和实测结果基本相符，这说明用键合图理论建立火炮浮动自动机的动力学模型是可行的。
It shows, it is practicable to set up a systematic dynamic model of floating automatic gun with the bond graph theory.
提出了一个含崩塌概率的一维沙堆模型，并用元胞自动机方法对该模型进行计算机模拟。
Proposed an one-dimensional sandpile model which include avalanche probability, and performed computer simulation by cellular automata method.
移动元胞自动机法是一种适于处理非连续介质力学问题的计算方法。
MCA method is a powerful method proposed to deal with the non-continuum mechanics problem.
该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。
The method fit for the program operation of the computer can be easily used for the synthesis of a finite automation with multi-input and multi-state.
有限自动机理论是一类简单类算法的数学理论，这些算法理论这些数学虽然简单但对计算机科学很重要。
The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in computer science.
由于DNA计算具有高度的并行性，因此，研究者也把目光投向了用DNA分子自动机来模拟电子计算机。
Because of its highly parallel computation, the investigators use DNA molecular automaton to simulate the electronic computer.
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
The three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
采用离散压力流模型和图自动机计算模型实现了智能虚拟器官之间的物质传输与分配。
Discrete pressure-flow model and graph automata have been used to simulate the material transport and distribution and information exchange between IVOs.
自动机理论是计算机科学理论的重要组成部分。
Automata theory is an important component of computer science.
计算动词元胞网络(CVCN)是将计算动词理论运用于元胞自动机。
Cellular network computing verb (CVCN) theory is applied to the calculation of the verb Cellular Automata.
摘要：使用子集构造法对非确定有限自动机进行确定化的过程中存在大量重复计算的问题。
Absrtact: the problem of repetitive computing exits in the process of transition from non-deterministic finite automata to deterministic finite automata using the subset construction method.
“因他们的合著论文“有限自动机与其判定性问题”。”论文中引入了非确定自动机的概念，被证明是(计算理论科学研究中的)一个非常重要的概念。
For their joint paper "Finite Automata and their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
“因他们的合著论文“有限自动机与其判定性问题”。”论文中引入了非确定自动机的概念，被证明是(计算理论科学研究中的)一个非常重要的概念。
For their joint paper "Finite Automata and their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
应用推荐