An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。