常见例句The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine.在本国际标准的语义描述中，定义了一个参数化的，非确定的抽象机器。 返回 nondeterministic