抽象机器 meaning in Chinese

abstract machine

These define the nondeterministic aspects of the abstract machine
由此定义了抽象机器的非确定性的方面。
A conforming implementation executing a well - formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input
当一个符合标准的实现执行一个完备的程序时，其产生的可观察行为应该与该实现的抽象机器对应实例依据同一程序和同一输出产生的可能执行序列之一相同。