English translation for "自动机理论"
|
- automata theory
automate theory
automaton theory
theory of automata
Related Translations:
折返机理: re-entrant mechanism 机理模型: mechanism modelmedium temperature strain gauge 污染机理: pollution mechanism 中和机理: neutralizing mechanism 成形机理: compacting mechanism 互换机理: interchange mechanism 热传导机理: mechanism of thermal conduction
- Example Sentences:
| 1. | Abstract automata theory
抽象自动机理论 | | 2. | Theory of automat
自动机理论 | | 3. | Existing complexity proofs on the circularity problem of ags are based on automata theory , such as writing pushdown acceptor and alternating turing machines
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。 | | 4. | Considering interior mechanism of debris flow ' s triggering and confluence system , in this essay we simulates its self - organized criticality by cell automaton model
本文运用元胞自动机理论，从内部机制着手，对泥石流产汇流系统的自组织临界性进行了模拟研究。 | | 5. | This paper presents some cellular automata models for traffic flow simulation . firstly , the celluar automata theory was introduced , cellular autoata models quantize complex behavior into simple individual components
本文首先介绍了元胞自动机理论的理论，元胞自动机模型把复杂系统量化为简单的个体。 | | 6. | Cellular automata ( ca ) are mathematical idealizations of dynamical systems in which space , timea and states are dicrete . it ' s parallel and simple for computation , so it can simulate variable complex phenomena . resently , ca have become used for modeling traffic flow
本文以元胞自动机理论为基础，根据已有的交通流ca模型建立几个新的模型，研究它们的交通流特性。 | | 7. | After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。 | | 8. | The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals
本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。 | | 9. | Automata theory is an important branch of computer science theory . it is widely applied in many fields , such as communication , detection , biology , neurology , psychology , intelligence , economy , and sociology . the research on it is closely related to the development of computer software and hardware
自动机理论是计算机科学中的一个重要组成部分，在通讯、检测、生物、神经、心理、智能、经济和社会等诸多领域都有着广泛应用，其研究与计算机软硬件发展密切相关。 | | 10. | In multiple - valued logic theory , completeness theory of function sets is an important and fundamental problem , it is also the problem which must be solved in automata theory and multiple - valued logic network . the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets
函数系的完备性判定问题是多值逻辑理论中基本而重要的问题，同时也是自动机理论，多值逻辑网络中必须解决的问题，此问题的解决依赖于定出多值逻辑函数集中的所有极大封闭集(准完备集) 。 |
- Similar Words：
- "自动机工程" English translation, "自动机构" English translation, "自动机规模" English translation, "自动机和形式语言" English translation, "自动机搅拌" English translation, "自动机扑" English translation, "自动机器" English translation, "自动机器公司" English translation, "自动机润滑油" English translation, "自动机时钟" English translation
|
|
|
