These constitute the parameters of the abstract machine.

这些就形成了虚拟机器的实现参数.

The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine.

在本国际标准的语义描述中，定义了一个参数化的，非确定的抽象机器。

CDT( categorical data types)is an abstract machine model of the parallel computing model, it provides a new tool and approach to parallel computing.

CDT（范畴数据类型）为并行计算的研究提供了一种新的工具和方法。

The key advantage here is that the same object code can be executed on any hardware platform that supports the abstract machine (the interpreter).

这里的主要优势在于，可以在支持抽象机器（interpreter）的任何硬件平台上执行同样的对象代码。