0.00/0.25 MAYBE 0.00/0.25 We consider the system theBenchmark. 0.00/0.25 0.00/0.25 Alphabet: 0.00/0.25 0.00/0.25 bar : [o -> o] --> o 0.00/0.25 foo : [o] --> o 0.00/0.25 0.00/0.25 Rules: 0.00/0.25 0.00/0.25 foo(bar(f)) => f bar(f) 0.00/0.25 0.00/0.25 This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0). 0.00/0.25 0.00/0.25 EOF