自动机理论

Some knowledge of automata theory is a prerequisite.

一些自动机理论知识，是一个先决条件。

To analyze the effects of heterogeneous material characteristics on rock failure,a micro-heterogeneous physical cellular automata model is introduced according to the cellular automata theory from a general power view.In this model,the neighbor is the Moore pattern and the Weibull distribution is adopted to simulate the rock heterogeneousness.

为了分析岩石材料的非均质性对其破坏演化的影响，根据元胞自动机理论，从能量的角度建立了一种能够从细观层次上对岩石破坏演化进行模拟的物理元胞自动机模型，模型引用的Weibull随机分布函数对材料的非均质性进行描述。

In this project, we investigate the invertibility problem of finite automata, cryptosystems based on finite automata theory and security protocols. Some applications of the finite automata public key cryptosystem to internet are explored.

本项目研究有限自动机可逆性问题和基于自动机理论的密码算法与安全协议，探讨有限自动机公开钥密码在因特网环境的应用。

Therefore,the study of the the algebraic properties of automata with truth-values in lattice-ordered monoid and the study of the minimization algorithm form two crucial subjects in fuzzy automata theory.

因此，对取值于格半群的自动机代数性质的研究和极小化问题的研究是格值自动机理论的两个重要课题。

This paper makes some studied in the building of Chinese character input modes based on automata theoretic, handles the control operation in the input model, and introduces the concepts of two-way deterministic Chinese finite automaton and two-way nondeterministic Chinese finite automaton.

本文从自动机理论的角度对汉字输入的数学模型进行了研究，把控制操作引入了输入模型，并给出确定汉字双向有穷自动机和不确定汉字双向有穷自动机的模型。

In order to begin to answer the central question of automata theory, it is necessary to define in a formal way what an automaton is.

为了开始回答的核心问题的自动机理论，有必要确定一个正式的方式在一个自动机是什么。

The theory of finite automata is a branch of automata theory.

有限自动机是自动机理论的一个分支，随着数字计算机，数字通信和自动化等科学技术的出现和发展，自动机理论在理论和实践中发挥着越来越重要的作用。

Otherwise, this paper also discusses the theory of cellular automata itself, tries to put fuzzy logic into the cellular automata, and gives the definition of fuzzy cellular automata.

另外，本文也对模糊元胞自动机理论本身进行了探讨，尝试着将模糊逻辑引入到元胞自动机模型中，定义了模糊元胞自动机。

Based on a thorough analysis in software auto-generating technology and monitor-control program in industry area, improves the formal definition and minimization algorithm of automata theory, designs an system environment of auto-generating monitor-control program.

在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上，改进有限自动机理论中有限自动机的形式化定义及其化简算法，通过研究，设计实现了一个自动生成测控程序的系统平台。

According to the analysis of min-cut partitioning problem,we give a Cellular Automata model for this problem by applying the cellular automata theory and propose a min-cut optimization algorithm based on this model for bisecting graph.

运用元胞自动机理论，针对无向图剖分优化问题进行了分析和建模，提出了一种元胞自动机模型以及基于该模型的无向图剖分优化算法。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了