These define the nondeterministic aspects of the abstract machine.

• 由此定义了抽象机器的非确定性的方面。