abstract machine
theoretical model of a computer hardware or software system used in automata theory
two-stack push down automaton
model in theoretical computer science
two-way deterministic finite automaton
finite automaton that can re-read its input
MIX
abstract accumulator machine designed by Donald Knuth
register machine
generic class of abstract machines
Warren Abstract Machine
abstract machine for the execution of Prolog
oracle machine
abstract machine used to study decision problems
parallel random-access machine
abstract computer for designing parallel algorithms
TenDRA Distribution Format
abstract machine
finite-state machine
mathematical model of computation; abstract machine that can be in exactly one of a finite number of states at any given time
Petri net
family of modelling languages for distributed systems