Rational term equality, functionally
Tom Schrijvers, Bruno C. d. S. Oliveira · Lirias · 2012
Abstract. This paper presents an elegant purely functional algorithm for deciding the equality of rational terms. The algorithm adapts Hopcroft and Karp’s classic algorithm for equality of finite state automata to struc-tured graph representation of rational terms. 1