自动机理论的英文

• automata theory
• automate theory
• automaton theory
• theory of automata

• "自动"英文翻译    voluntarily; of one's own ac ...
• "机理"英文翻译    mechanisation; mechanization ...
• "论"英文翻译    The Analects of Confucius
• "抽象自动机理论" 英文翻译 :    abstract automata theory
• "细胞自动机理论" 英文翻译 :    cellular automaton theory
• "有限自动机理论" 英文翻译 :    finite automaton theory
• "广义有限自动机理论" 英文翻译 :    generalized finite automaton theory
• "形式语言与自动机理论" 英文翻译 :    formal language and automata theory
• "动机理论" 英文翻译 :    theories of motivation; theory of motivation
• "成就动机理论" 英文翻译 :    motivation#mcclelland.27s achievement motivation theory
• "行为动机理论" 英文翻译 :    theory of motivation to work
• "超越性动机理论" 英文翻译 :    theory of metamotivation
• "汉斯伯格动机理论" 英文翻译 :    herzberg's theory of motivation
• "自动机数学理论" 英文翻译 :    mathematical theory of automata
• "关于动机理论较有名的为马斯洛" 英文翻译 :    maslow
• "发电机理论" 英文翻译 :    dynamo theory
• "计算机理论" 英文翻译 :    computer theory
• "数学机理论" 英文翻译 :    mathematical machine theory
• "随机理论" 英文翻译 :    random theory
• "危机理论" 英文翻译 :    crisis theory
• "无机理论" 英文翻译 :    mineral theory
• "有机理论" 英文翻译 :    organic theory
• "流动机理" 英文翻译 :    flow mechanism
• "驱动机理" 英文翻译 :    driving mechanism; expulsion mechanism
• "始动机理" 英文翻译 :    starting mechanism

• Abstract automata theory
  抽象自动机理论
• Theory of automat
  自动机理论
• Existing complexity proofs on the circularity problem of ags are based on automata theory , such as writing pushdown acceptor and alternating turing machines
  目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。
• Considering interior mechanism of debris flow ' s triggering and confluence system , in this essay we simulates its self - organized criticality by cell automaton model
  本文运用元胞自动机理论，从内部机制着手，对泥石流产汇流系统的自组织临界性进行了模拟研究。
• 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
  本文首先介绍了元胞自动机理论的理论，元胞自动机模型把复杂系统量化为简单的个体。
• 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模型建立几个新的模型，研究它们的交通流特性。
• 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的正确性。
• 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
  本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。
• 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
  自动机理论是计算机科学中的一个重要组成部分，在通讯、检测、生物、神经、心理、智能、经济和社会等诸多领域都有着广泛应用，其研究与计算机软硬件发展密切相关。
• 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
  函数系的完备性判定问题是多值逻辑理论中基本而重要的问题，同时也是自动机理论，多值逻辑网络中必须解决的问题，此问题的解决依赖于定出多值逻辑函数集中的所有极大封闭集(准完备集) 。

• 自动机理论的泰文
• 自动机理论的法语：Théorie des automates
• 自动机理论的日语：オートマタセオリ じどうきかいろん
• 自动机理论的韩语：오토마타 이론
• 自动机理论的俄语：Теория автоматов
• 自动机理论的阿拉伯语：نظرية التشغيل الذاتي;
• 自动机理论的印尼文：teori otomata;
• 自动机理论什么意思：[automata theory] 构成任何机电装置（按确定程序将一种形式的信息转换为另一种形式信息的自动机）运作基础的物理原理和逻辑原理的主体。维纳和图灵是这一领域的先锋。在计算机科学方面，自动机理论和机器人的建造（从建造基本的自动机装置开始）有关。最好的例子是电子数字计算机，其有庞大但固定的储存容量。自动电路网可设计用来模拟人类的行为。参阅人工智能（artificial intelligenc...