统一算法中的多重表达式

Question

我已经解决了我只需要统一以下形式 f(..( = f(...( 的表达式的练习。现在我必须解决一个类似的问题，但有 3 个表达式：f(x， f(x， g(y(((、f(u， z( 和 f(g(y(， y(。我应该如何开始？我应该一次均衡所有表达式，然后继续算法吗？

Answer 1

没关系，我发现你必须均衡表达式，使expr1 = expr2，expr2 = expr2,.. expr_n-1 = expr_n然后你可以使用通常的算法。