0.00/0.07 MAYBE 0.00/0.07 We consider the system theBenchmark. 0.00/0.07 0.00/0.07 Alphabet: 0.00/0.07 0.00/0.07 f : [nat * nat] --> nat 0.00/0.07 g : [nat -> nat] --> nat 0.00/0.07 0.00/0.07 Rules: 0.00/0.07 0.00/0.07 f(g(h), g(h)) => h g(h) 0.00/0.07 0.00/0.07 This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0). 0.00/0.07 0.00/0.07 EOF