The semantic descriptions in this document define a
parameterized nondeterministic abstract machine
. This document
places no requirement on the structure of conforming
implementations
. 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
.