Assertion: abstract machine | /r/MadeOf | definition
Facets:
Source sentences:
text: A typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter.