Abstract machine

Theoretical computer used for defining a model of computation

In computer science, an abstract machine is a theoretical model that allows for a detailed and precise analysis of how a computer system functions. It is similar to a mathematical function in that it receives inputs and produces outputs based on predefined rules. Abstract machines vary from literal machines in that they are expected to perform correctly and independently of hardware.

From Wikipedia, under CC BY-SA. More on occurri.