/export/starexec/sandbox/solver/bin/starexec_run_HigherOrder /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


MAYBE
We consider the system theBenchmark.

  Alphabet:

    0 : [] --> d 
    f : [a] --> a 
    g : [b -> d -> e * b * e] --> f 
    s : [c] --> e 

  Rules:

    f(x) => x 
    g(h, x, s(y)) => g(h, x, h x 0) 

This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).