自动机
- 与 自动机 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Based on the NaSch model of traffic flow, a model of two-lane system with off-ramp is established.
在开放边界条件下，以NaSch模型为基础，建立了含减速车道的出口匝道系统双车道元胞自动机交通流模型。
-
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.
二十世纪四十年代，约翰·冯诺伊曼和斯坦尼斯劳·乌拉姆曾经合作，试图首先通过细胞自动机和计算机来获得自然现象的秘密。
-
The auto update part of the system is built under the direction of team automaton containing subelement model.
这个系统的自动更新部分的模块划分，具体问题的解决等方面都是在带子元素群组自动机模型指导下实现的。
-
Research described in this thesis has resulted in a formalized description of the auto update problem, team automaton containing subelement model and the solution of auto update problem.
本文给出了自动更新问题的形式化描述，提出了带子元素群组自动机模型并利用这个模型解决了自动更新问题。
-
We adopt the "synchronizable condition" used in protocol compatibility and analyse the composition automata behavior of COMP algorithm. At last a method is proposed to ensure the "synchronizable condition" of composition automata and the prove is provided.
3平面的自动机行为模型在描述实际的服务行为时存在一些缺陷，这影响了它的应用，比如：状态数很多，对某些语言结构不支持等。
-
If As is deterministic, the problem can be solved in PSPACE, however, if As is nondeterministic, the problem is undecidable.
若A_S是确定的时间自动机，此问题是PSPACE完全的，然而，若A_S是非确定的，则此问题是不可判定的。
-
Decidable and undecidable problems, reducibility, recursive function theory.
本课程比18.400J 自动机、可计算性和复杂性涉及面更广、更理论化。
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长，致力于国学的研究和推广。