归约规则程序的解释

• interpretation of a reduction rule program