查询词典 abstract automaton

The behavior. of the system is a function of the definition of the automaton, the input and the current state.

系统的动态行为是以下三者的函数：第一，自动机；第二，输入；第三，当前的状态。

The manufacturers of the LOM unit, Industrial Automaton, could never have guessed that one of their products would deviate so far from its original programming parameters.

LOM系列的制造商，工业自动机械公司，怎么也想不到他们的产品中竟有一个如此出轨，与最初的编程限定谬之千里。

Turing machine, random access machine, primitive recursive, cellular automaton, finite state machine, cell probe model, pointer machine, alternation, alternating Turing machine, nondeterministic Turing machine, oracle Turing machine, probabilistic Turing machine, universal Turing machine, quantum computation, parallel models: multiprocessor model, work-depth model, parallel random-access machine, shared memory.

图灵机，随机存取机，原始递归，元胞自动机，有限状态机，细胞探针模型，指针机，交替轮流进行，图灵机，非确定性图灵机，甲骨文图灵机，概率图灵机，通用图灵机，量子计算，并行型号：多模式，工作深入模型，并行随机存取机，共享内存。

The effectiveness of this method depends basically on two values,Гmin the search is faster for larger Гmin and the size of Pref (RE (the search is faster for less prefixes), where Гmin donate the shortest path from the initial state to a final state of the Nondeterministic Finite Automaton and Pref the prefixes of length Гmin for all the strings matching the regular expression. The size of Pref can be exponential in m and for multiple expressions matching the Pref will be much larger.

现有的正则表达式搜索算法性能较好的是多模式过滤类型的算法，此类算法严重依赖于两个因素，从NFA的初始状态到终止状态的最短路径Lmin和正则表达式所表达的语言的前缀集合Pref的大小，Lmin越长，搜索速度越快，Pref越大，搜索速度越慢。

The results were sometimes printed in pocket-size tables for the gunmen on the front line, or if there was enough time and the missile-gun was common, the tables were mechanically encoded into an apparatus on the gun, known as the automaton.

而计算出来的结果，有时会印在一些口袋大小的表格上，便于前线的火炮手来使用；或者，如果时间来得及，而发射飞弹的火炮又不是太过特殊的话，这些表格就会被编码来设定火炮上的装置，而这种装置，被是所知的自动机。

PROLOG language is selected in order to realize the automaton represent ation of model in computer.

为了在计算机中实现模型的自动机表示，选用了PROLOG语言。

For the realization of model automaton representation, we select PROLOG language.

为了在计算机中实现模型的自动机表示，选用了PROLOG语言。

The constraints under which the reachability checking of a timed automaton can be reduced to that of the corresponding FPTA are provided, and then an algorithm for reachability analysis is presented.

在一定的时间约束下，Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测。

The paper improves the velocity's control rules of a first-order microcosmic stochastic traffic cellular automaton model and incorporates it's stochasticity as a deceleration parameter in the construction of the fundamental diagram used by a macroscopic first-order continuum traffic model.

本文对微观一维随机元胞自动机交通流模型的速度控制规则进行了改进，并将其随机特性转化为减速参数合并到宏观一阶连续介质理论交通流模型中，重新构建了反映流量——密度的交通流基本图。

The stochastic dynamic programming is applied to derive the optimal task control strategy of the automaton.

文中，用随机动态规划的方法求取自动机的控制策略。

Objective To study the effect of chitosan in the prevention of fibrous scar formation in the epidural space after laminectomy.

目的 观察选择性脊神经后根切除术椎板切除后硬膜外几种防瘢痕粘连物质的作用并探讨其机制。

On his way to the lift, he looked back to us or was it me his eyes pointing?

当他要进电梯时，他回头看我们（或者说是我，他的眼光？