1.54/1.01	MAYBE
1.54/1.01	We consider the system theBenchmark.
1.54/1.01	
1.54/1.01	  Alphabet:
1.54/1.01	
1.54/1.01	    0 : [] --> d 
1.54/1.01	    f : [a] --> a 
1.54/1.01	    g : [b -> d -> e * b * e] --> f 
1.54/1.01	    s : [c] --> e 
1.54/1.01	
1.54/1.01	  Rules:
1.54/1.01	
1.54/1.01	    f(x) => x 
1.54/1.01	    g(h, x, s(y)) => g(h, x, h x 0) 
1.54/1.01	
1.54/1.01	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
1.54/1.01	
1.54/1.01	EOF