| abstract machine 1. A processor design which is not intended to be implemented as , but which is the notional executor of a particular (abstract machine language) used in a or . An abstract machine has an , a 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 to other s. A is an abstract machine for which an exists. Examples: , , , , , , , , , , , , , , , . 2. 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 but are used in thought experiments about . Examples: , . (1995-03-13) |
на заглавную 
к началу страницы