evaluator (n.) (EVAL)

In OPTIMALITY THEORY, a component which compares the WELL-FORMEDNESS of CANDIDATES proposed for a given INPUT by the GENERATOR component. The evaluator uses the language’s hierarchy of CONSTRAINT to select the optimal candidate (or candidates) for that input. In the gradient evaluation of a constraint, all VIOLATIONS are counted individually; in binary evaluation, a constraint is either violated or not.