判断题

归约和规范推导是互逆的两个过程。

【参考答案】

正确