Category
page 1Abstract machines
Turing machine
abstract computation model; mathematical model of computation that defines an abstract machine which manipulates symbols on a strip of tape according to a table of rules
abstract machine
theoretical model of a computer hardware or software system used in automata theory
SECD machine
virtual and Abstract Machine target for functional programming language compiler
Warren Abstract Machine
abstract machine for the execution of Prolog