Abstract machine

An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory.

Description

Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes a discrete time paradigm.

See also

• Abstraction (computer science)
• Abstract interpretation
• Automata theory
• Computability#Formal models of computation
• Computer science
• Discrete time
• State space

External links

• Abstract machine @ Wikipedia