Assertion: abstract machine | /r/CapableOf | call abstract computer
Facets:
Source sentences:
text: An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory.