查询词典 automata

A characterization of the structure for n-ary feedforward inverse and weakly invertible finite automata with delay τ is given.

给出延迟τ步前馈逆和弱可逆有限自动机结构的一种刻划。

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

中文参考译名：正式模型交流系统：语言，自动机，和一元二阶逻辑

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic Texts in Theoretical Computer Science.

An Eatcs Series 正式模型交流系统：语言，自动机，和一元二阶逻辑

However, we have proved that all Lattice of Finite-State Quantum Automata have periodic monotonic super-pumping property.

但我们证明了所有的格值有限状态量子自动机都具有间隙单调超泵性质。

This paper establishes a new one based on CA taking the NaSch model and Yuanjian's model for reference. And we name it Self-Adjusting Network Model based-on Cellular Automata, SAN-CA for short.

本文在NaSch模型和袁坚等人模型的基础上，基于CA建立了一个新的计算机网络模型：Self-Adjusting Network Model based-on Cellular Automata，简称SAN-CA。

This paper establishes a new one based on CA taking the NaSch model and Yuanjians model for reference. And we name it Self-Adjusting Network Model based-on Cellular Automata, SAN-CA for short.

本文在NaSch模型和袁坚等人模型的基础上，基于CA建立了一个新的计算机网络模型：Self-Adjusting Network Model based-on Cellular Automata，简称SAN-CA。

By contrast with other formal meth- ods, merits and limits of interface automata are summarized.

在同其它形式化方法比较的基础上，指出了接口自动机的长处和局限。

Cellular automata were invented in the 1940s by John von Neumann and Stanislaw Ulam at Los Alamos National Laboratory.

20世纪40年代冯？诺伊曼与乌拉姆在洛塞勒摩斯国家实验室发明细胞自动机。

Cellular automata were invent ed in the 1940s by John von Neumann and Stanislaw Ulam at Los Alamos National Laboratory.

20世纪40年代冯？诺伊曼与乌拉姆在洛塞勒摩斯国家实验室发明细胞自动机。

John von Neumann and Stanislaw Ulam in the 1940s were among the first to consider attempting to understand natural phenomena via cellular automata and computers.

二十世纪四十年代，约翰·冯诺伊曼和斯坦尼斯劳·乌拉姆曾经合作，试图首先通过细胞自动机和计算机来获得自然现象的秘密。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。