YES(?,O(n^1))
0.09/0.19	YES(?,O(n^1))
0.09/0.19	
0.09/0.19	Problem:
0.09/0.19	 f(x,y) -> h(x,y)
0.09/0.19	 f(x,y) -> h(y,x)
0.09/0.19	 h(x,x) -> x
0.09/0.19	
0.09/0.19	Proof:
0.09/0.19	 Bounds Processor:
0.09/0.19	  bound: 1
0.09/0.19	  enrichment: match
0.09/0.19	  automaton:
0.09/0.19	   final states: {3}
0.09/0.19	   transitions:
0.09/0.19	    f0(3,3) -> 3*
0.09/0.19	    h0(3,3) -> 3*
0.09/0.19	    h1(3,3) -> 3*
0.09/0.19	  problem:
0.09/0.19	   
0.09/0.19	  Qed
0.09/0.19	EOF