/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:

    a : [] --> o 
    b : [] --> o 
    f : [o * o] --> o 
    g : [o * o] --> o 
    h : [o -> o] --> o 

  Rules:

    f(x, b) => g(x, x) 
    g(x, a) => f(x, x) 
    h(i) => i a 
    h(i) => i b 

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