どのへんがグラフなのか

グラフ簡約は必要呼びをするときなどに使用される

これは、既に簡約した同じ式を再度利用する方法

このとき、構文木を簡約する際に、構文木は木ではなくgraphになる

例えば ((2+2) + (2+2)) + (3+3) という式を簡約するときに、

最左最外簡約では普通に木構造で簡約していく

一度使ったツリーを再利用する構造になるので、木ではなくグラフになる

これだけ見ると、でっていうって感じだな

どのようにして実装されている？

参考