It aims to analyze and synthesize automata.
它旨在研究自动机的分析与综合问题。
The characteristics and theory of lattice gas automata have been introduced.
介绍格子气自动机方法的原理与特点。
We formulate, in this paper, algorithms for boundary tracing based on automata.
本文中我们用自动机的方法表示了边界跟踪算法。
These new kind of automata were developed to meet the needs of society in Japan.
日本研发出的这些新型机器人主要是为了适应社会的需要。
Animals like birds were viewed as lovely automata capable only of stereotyped activity.
像鸟类这样的动物被看成是只能作出套路动作的自动机械。
In this paper, these features of cellular automata have been well embodied and exerted.
本文中元胞自动机的这些特点得到了很好的体现和发挥。
In this paper, a new tree automata based machine, XEBT, is proposed to solve the problem.
提出了基于树自动机的XEBT机来解决这个问题。
The automata of fuzzy or defuzzization what we study are all finite-state automata so far.
到目前为止，我们所研究的模糊或非模糊的自动机都是有限状态自动机。
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
GRAFCET is a programming language dedicated to industrial automata (Arzul gives details in his post).
GRAFCET是工业自动机的专用编程语言(Arzul在他的帖子中给出了细节)。
Cellular Automata (ca) is an effective tool used to simulate complicated social and economical system.
元胞自动机是模拟复杂社会经济系统的有效工具。
This paper proposes a condition of timed tree automata recognizing language, proves the correctness of its.
本文提出了时间树自动机识别语言的一个条件，并证明了结论的正确性。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
Cellular Automata simulation technology provides us a new approach to investigate evolution on business - strategy choice.
元胞自动机模拟技术为探索企业战略选择的演化问题开创了新途径。
Secondly, the paper summarized the traffic flow dynamics model and dynamic traffic control model based on Cellular Automata.
对基于元胞自动机的交通流动力学模型和动态交通控制模型进行了综述。
The structure of feedforward inverse finite automata is a fundamental problem in the invertibility theory of finite automata.
前馈逆有限自动机的结构是有限自动机可逆性理论中的基本问题。
The core of the self-healing system is its runtime behavioural automata model which determines the design of the architecture.
自愈系统的核心是其运行时的行为自动机模型，该模型的结构决定了构架的设计。
This paper is concerned with the classification of fuzzy finite automata and the minimization algorithm of fuzzy finite automata.
本文研究了模糊有限自动机的分类和模糊有限自动机的状态最小化算法。
Unfortunately, automata theory tells us that no tool could ever statically determine which programs will throw null-pointer exceptions.
不幸的是，自动控制理论告诉我们，没有工具可以静态地决定哪些程序将抛出空指针异常。
Figure 6 shows the iteration of the Cellular Automata Forest Fire Model, skipping appropriately to show the effect of the rule set.
图6显示了这个元胞自动机森林火灾模型的迭代，跳跃恰当，很好地显示了所设规则的效果。
To meet the need of Chinese information processing, the traditional finite automata is transformed to the reversed finite automata.
根据中文信息处理的需要，把传统的有限自动机改造成了反向有限自动机。
Research indicated Cellular Automata modeling technology is one simple effective method to study the dynamic problem of traffic flow.
研究表明，元胞自动机建模技术是研究交通流动态问题一种简单有效的方法。
Lattice-valued finite automata. We introduce the conpect of lattice-valued finite automata. The state transition function is defined as ?
格值有限状态自动机的研究：首先，提出了格值有限状态自动机的概念，它的状态转移函数定义为?。
For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.
高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。
The applications of cellular automata method in materials design including recrystallization and solidification phase changes have been reviewed.
综述了元胞自动机方法在材料设计中的应用，包括再结晶方面和相变方面。
Especially, as opposed to the traditional automata, the limiting behavior of the proposed algorithm possesses both absorbing barriers and ergodicity.
特别，跟传统自动机不同的是，新算法的极限行为同时兼具吸收壁和遍历性。
Especially, as opposed to the traditional automata, the limiting behavior of the proposed algorithm possesses both absorbing barriers and ergodicity.
特别，跟传统自动机不同的是，新算法的极限行为同时兼具吸收壁和遍历性。
应用推荐