>>738
>有限なグラフに対しても(==)が停止しない可能性がある

ん？ 必ず停止する同値判定プログラムは書けるが、
複雑で面倒と言うことだよね？
（循環を検知できないわけがない）

>>737 の方法でも、同値判定をする必要があるのなら、
循環を検知する同じような仕組みが必要だぞ。