双语例句
- The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine.
在本国际标准的语义描述中,定义了一个参数化的,非确定的抽象机器。
权威例句
Information Flow in Nondeterministic SystemsFrom Nondeterministic Buchi and Streett Automata to Deterministic Parity AutomataModel checking of probabilistic and nondeterministic systemsModel checking of probabilistic and nondeterministic systemsModel checking of probabilistic and nondeterministic systemsRelationships between nondeterministic and deterministic tape complexities *The method of forced enumeration for nondeterministic automataFrom nondeterministic Büchi and Streett automata to deterministic parity automata [reprint of MR2346962].Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-MethodReview: Walter J. Savitch, Relationships between Nondeterministic and Deterministic Tape Complexities