Halt

The terminal state of an Abstract machine reached when the current term is in Normal form (i.e., no evaluation rule applies), signaling completion of evaluation.