自动机理论

In chapter three, we first give the definition of quadratic automata (3. 6 definition), then study their invertibility. 3. 10 theorem gives a sufficient and necessary conditions for weak inverse quadratic form finite automata, and a way to find the one whose weak inverse is quadratic form finite automata.

第三章首先构造了二次型有限自动机类（3.6定义），研究其上的可逆性理论。3.10定理给出了弱逆二次型有限自动机的充要条件及弱原逆的求法、3.12定理则给出了弱可逆二次型有限自动机的充要条件及弱逆的求法。

Establish integrated invertibility theory over it: By R〓R〓 transformation method, we solve the problem of deciding weakly invertibility and finding weak inverse, By founding the bijections between all quadratic form automata and input memory linear finite automata, we find a algorithm to produce all weak inverse quadratic form finite automata.

本文着眼于这些最基本问题，将有限域上的二次型和置换多项式理论引入有限自动机可逆性的研究，构造了一类由二次型构成的非线性有限自动机（3.6定义），称之为二次型有限自动机，我们在其上面建立了与线性有限自动机可逆性理论相对应的完整的可逆性理论：采用线性R〓R〓变换方法，解决了此类有限自动机的弱可逆性判定、求弱逆问题（3.10、3.12定理）、通过建立全体二次型有限自动机与全体输入存储线性有限自动机之间的保持弱逆性的一一对应，给出了产生全部可逆二次型有限自动机的方法。

This book, composed of material prepared for the Silliman Lectures by john von Neumann before his death, represents the views of one of the greatest mathematicians of the twentieth century on the analogies between computing machines adn the living human brain.

这本书是自动机理论研究中的重要材料之一。原书是冯·诺意曼在1955—1956年准备讲演用的未完成稿。

According to the theory of Deterministic Finite Automata,an adaptive decision-making system is set up,which can change the selection of instruction pattern dynamically.

多模式智能教学系统中教学模式的选择是非常重要的问题，提出了一种教学模式选择的自适应策略，用教学模式相适度算法取得适度值，并制订一系列规则微调原先的相适度，根据确定的有限自动机理论，构建了一个自适应决策系统，实现了教学模式选择的自适应。

Therefore,the hybrid dynamic model of WTG was built based on theory of hybrid automata,at same time hybrid global control system was designed according to control strategy of WTG.

基于混杂自动机理论建立了风电机组的混杂动态模型，同时根据风力发电机组控制策略设计了全程混杂控制系统。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

There is a new scientific theory of evolution-the theory of cellular automata : A simple procedure could be evolving into complex patterns can be accurately and easily simulate a variety of complex phenomena, from the growth of snowflakes to the universe, such as the evolution of the theory of evolution -- but often overlooked all their background-environment system stability and the supporting role of the smart set!

有一种新科学进化论－元胞自动机理论证明：一种简单但可演变出复杂样式的程序能精确、轻易地模拟出各种复杂现象，诸如从雪花的增长到宇宙的演化－－－然而所有的进化论往往忽略了其背景－环境系统的稳定而智能的支撑作用！

Combined with self-organized theory of cell ular automata and elasto - plastic theory, the elasto-plastic cell ular automata updating rule is presented.

将细胞自动机的自组织理论与弹塑性理论相结合，推导了分析平面塑性问题的细胞自动机更新规则，采用Weibull随机分布模拟岩石类材料的非均质性，元胞单元服从简单的本构关系和一定的强度准则，建立平面弹塑性细胞自动机模型，开发了相应的数值分析软件。

Von Neumann, renowned for his theory of games and his work at the Electronic Computer Project at the Institute for Advanced Study, was serving as a member of the Atomic Energy Commission.

本书适合于自动机理论、控制论、计算技术和仿生学等方面的读者参考，对控制论问题有兴趣的哲学工作者，也可以阅读本书提供的材料。

The highway toll collector system was researched by using the finite automata theory.

利用有穷自动机理论研究了高速公路收费站的收费系统。

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.

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