The semantic descriptions in this document define a
parameterized nondeterministic abstract machine.
places no requirement on the structure of conforming
In particular, they need not copy or emulate the
structure of the abstract machine.
Rather, conforming implementations are required to emulate (only) the observable
behavior of the abstract machine as explained below.