automata [ɔ:'tɔmətə]

automata的基本解释

n.

自动操作, 自动控制

pl.

自动机, 自动控制

automata的同义词

n. automaton

与automata相关的网络例句 [注：此内容来源于网络，仅供参考]

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

Then we found bijections between quadratic form finite automata and input memory linear automata which lead to a way to produce all weakly invertible or weak inverse quadratic form finite automata. In the last section of chapter three, we extend these results to a more general class of nonlinear finite automata (called qusi-quadratic form finite automata).

然后我们建立了建立全体二次型有限自动机与全体输入存储线性有限自动机之间的的一个一一对应L，由于L保持弱逆性（3.20定理），由此我们得到了产生全体可逆二次型有限自动机的方法：要产生一个具有某种可逆性的二次型有限自动机只需产生一个具有同种可逆性的输入存储线性有限自动机，然后作其二次型提升即可。

与automata相关的网络解释 [注：此内容来源于网络，仅供参考]

automata：自动机

大数学家高斯(Gauss)也参加过,他受了Pascal的影响还考虑了自动机(automata)的事. 因为计算机也同时是一种自动机. 英国哲学家波普尔(Karl Popper)在>中说,"柏拉图主义超出了身心二元性范围. 它引出一个三分世界,

automata：自动装置

autolesion 自伤 | automata 自动装置 | automated factory 自动化工厂

automata：自动操作

automat 自动售货机 | automata 自动操作 | automate 使自动化

automata：自动化理论

自协方差函数 auto-covariance function | 自动化理论 automata | 自动检查 automatic check

automata theory：自动机理论

的字符串可以单独获取,示例程序就是我用来获取http网页的主题(title)的方式. 关于Regular Expression的实现,用到了不少自动机理论(Automata Theory)的知识,有兴趣的可以找这方面的资料来看,这本书"