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

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