自动机理论

树自动机理论在XML中的应用

Application of tree automata theory in XML

基于自动机理论的UML模型一致性研究

Research on Consistency of UML Models Based on Automata Theory

本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory .

XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。

The advent of XML initiated a symbiosis between document research and formal languages . This symbiosis resulted in the development of unranked tree automata .

为保证程序的稳定执行，兼考虑到程序在执行速度以及效率上的要求，因此使用有限状态自动机理论和Java多线程技术来解决该问题。

Ensure the program execute stabilization , then considered the requirement of execute speed and efficiency of the procedure , it use Automata theory and Java multithreading technology .

基于有限状态自动机理论，建立异步Web服务的形式化模型。

The relative timed and data constraints can be indicated by XYZ / RE . ( 2 ) We build the formal model of asynchronous Web service on the basis of finite automata theory .

提出了一种基于自主计算思想的网络故障诊断系统的自愈模型，并将Petri网和有限状态自动机理论相结合，对自愈策略的实施过程进行建模。

An self-healing model of network troubleshooting system based on automatic computing theory is put forward . The model of software working process is built by Petri net and finite-state automata .

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。

Fuzzy language is very important in the theory of formal languages and automata . The theory of fuzzy regular languages is the central part of the theory of fuzzy formal languages , and it connects the theory of automata with practice .

一种基于自动机理论的LTL检验符号优化方法

A Symbolic Optimization Method for Model Checking of LTL Based on Automaton Theory

基于细胞自动机理论和遗传算法，提出了一种物理细胞演化力学模型（ECA）。

Based on the theory of the physical cellular automata ( PCA ) and genetic algorithm , an evolving cellular automata is put forward .

基于完善以后的接口自动机理论重新定义了软件体系结构描述语言WRIGHT的语义，新的语义解释更加简洁、更加自然。

Based on the revised interface automata theory , we redefine the semantics of the architecture description language WRIGHT . The new semantics appears more concise and more natural .

SPIN使用PROMELA作为验证的模型语言，并使用线性时态逻辑（LTL）公式描述属性，应用自动机理论实现系统的模拟运行和正确性验证。

SPIN makes use of PROMELA as the verification model language , LTL formula to describe attributes , and automatism theory to realize the systemic simulation and correctness verification .

与传统短信方式的移动梦网相比，本文通过有限状态自动机理论和Java多线程技术，设计开发的USSD移动梦网业务更具优势，该系统能涵盖绝大部分移动梦网文字交互类服务。

The paper gives the design and implementation of Monternet business based on USSD , by Automata Theory and Java Multithreading Technology . Compare with SMS Monternet , the system is more preponderant and provides most text alternate services about Monternet .

自20世纪50年代Chomsky创立形式语言与自动机理论以来，计算语言学研究已经历了近半个世纪的发展历程，取得了丰硕成果。

Since N. Chomsky constructed the theory of Formal Language and Automaton in the fifties of the 20th century , a great progress has been made in the study of Computational Linguistics ( CL ) .

为了对本文提出的模糊控制方案进行分析和验证，我们利用元胞自动机理论建立了仿真模型，设计和实现了ECTS（ECNUTrafficSimulation）交通流仿真系统。

In order to analyze and validate the fuzzy control projects the paper puts forward . We build a simulation model using the theory of Cellular Automata , then design and realize the ECTS ( ECNU Traffic Simulation ) traffic flow simulation system .

研究了自动机理论在XML数据处理中的应用，通过扩展DTD及树自动机的定义，将完整性约束及函数依赖引入查询处理，能够实现在一遍扫描的条件下，完成文档流的过滤匹配。

We discussed the applications of automata theory in the XML data processing . By extending the definition of DTD and tree automata , integrity constraint and functional dependency are introduced into query processing . The documents filter matching can be completed in one-pass scanning . 2 .

状态机理论是有限自动机理论的一个研究方向。

State machine theory is a research direction of finite automata theory .

模拟细观非均质材料破坏演化的物理元胞自动机理论

Physical cellular automaton theory for simulating the failure process of micro-heterogeneous material

半自动机理论在（汉字）辞库建造中的应用

An application half-automat theory to the construction of a ( chinese ) Thesaurus

广义有限自动机理论限制性国家豁免（理）论

Generalized finite automaton theory restrictive doctrine of state immunity

译码采用了编译原理的形式语言与自动机理论，实现数控加工程序的编译和错误查找功能。

The decoding function has used the formal language and the automaton theory .

自动机理论是编译程序中单词识别的基本理论。

Automaton theory is a basic theory of compile routine for identifying words .

提出认知元胞、地理认知元胞自动机理论；

To give the Geo-cognitive Cellular Automaton theory ;

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

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

物理元胞自动机理论为岩石的破坏研究提供了一种新的研究思路。

The physical cellular automata theory gives a new idea for studying rock failure .

自动机理论是作为离散自动装置和计算机理论模型建立的。

The automaton theory is established as theoretical model of discrete automatic device and computer .

基于元胞自动机理论的硅各向异性腐蚀模型

Cellular-Automata-Based Modeling of Silicon Anisotropic Etching

细胞自动机理论及其在密码中的应用

CHINESE CHARACTER FINITE AUTOMATA THEORY The Theory of Cellular Automata and It 's Application in Cryptography

本文利用元胞自动机理论，对城市轨道交通系统中复杂的交通流现象进行研究。

The complex traffic flow of urban railway traffic was studied with the cellular automata theory .

广义有限自动机理论

Generalized finite automaton theory