The value of an abstract machine is that it allows you to specify how a given program behaves without needing to point to a specific piece of hardware. Compiler

The value of an abstract machine is that it allows you to specify how a given program behaves without needing to point to a specific piece of hardware. Compilers then have this as a target when compiling a program for a specific piece of hardware so that they know when the compiler's output is correct. The issue here is that the abstract machine is under or badly specified.