abstract machine


Also found in: Wikipedia.

abstract machine

(language)
A processor design which is not intended to be implemented as hardware, but which is the notional executor of a particular intermediate language (abstract machine language) used in a compiler or interpreter. An abstract machine has an instruction set, a register set and a model of memory. It may provide instructions which are closer to the language being compiled than any physical computer or it may be used to make the language implementation easier to port to other platforms.

A virtual machine is an abstract machine for which an interpreter exists.

Examples: ABC, Abstract Machine Notation, ALF, CAML, F-code, FP/M, Hermes, LOWL, Christmas, SDL, S-K reduction machine, SECD, Tbl, Tcode, TL0, WAM.

abstract machine

(theory)
A procedure for executing a set of instructions in some formal language, possibly also taking in input data and producing output. Such abstract machines are not intended to be constructed as hardware but are used in thought experiments about computability.

Examples: Finite State Machine, Turing Machine.
References in periodicals archive ?
In effect this may stall or petrify the operations of the diagram and of the abstract machine.
The abstract machine is constituted by a set of vectors, emergent tendencies and potentialities with greater or lesser chances of expression and actualisation.
In addition, some Western Communists responded as warmly to abstract machine art as Read.
The state led project of "development", Gidwani argues is an abstract machine that brings into relation previously separate human and non-human elements, and through this bringing into relation constitutes new and often unforeseen possibilities, both for enrolled elements and for the trajectory of the machine itself.
The abstract machine presupposes the fundamental stability and instability of order and chaos.
The abstract machine in itself is destratified, deterritorialized; it has no form of its own (much less substance) and makes no distinction within itself between content and expression, even though outside itself it presides over that distinction and distributes it in strata, domains, territories.
The learner can enter a specification of an abstract machine as instance of a given machine model.
1 we define an intermediate model using an abstract machine called the [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].
Using a language-independent abstract machine retains all the language independence of the operating system solution, but does not have the portability problems.
A completely different approach fits the C++ abstract machine even better by defining an abstract datatype called an iterator that represents a place in a container.
Additional Key Words and Phrases: Abstract machine performance model, benchmark analysis, execution time prediction, microbenchmarking
Instead, through a unit entitled Automotive Concepts and Technology, Roselle Park students switch from the mundane task of creating drawings of abstract machine parts to delving into the much more interesting and numerous concepts associated with automotive design, engineering and manufacturing.