The ____ is an abstract machine whose control operates directly on a program to reduce it to its semantic value.
A) definitional compiler
B) abstract evaluator
C) reduction machine
D) elimination semantics

Question

Quizplus · Accepted Answer

The description given in the question fits the definition of a reduction machine, which applies reduction rules to a program to evaluate its semantics. Definitional compilers and elimination semantics are related concepts, but not the specific answer the question is looking for. Abstract evaluation could be a possible alternative, but reduction machines are specifically mentioned in the question. Therefore, option C seems to be the best choice.

The ____ Is an Abstract Machine Whose Control Operates Directly