YES(?,O(n^1))
0.16/0.20	YES(?,O(n^1))
0.16/0.20	
0.16/0.20	Problem:
0.16/0.20	 a(a(x)) -> a(b(a(x)))
0.16/0.20	
0.16/0.20	Proof:
0.16/0.20	 Bounds Processor:
0.16/0.20	  bound: 2
0.16/0.20	  enrichment: match
0.16/0.20	  automaton:
0.16/0.20	   final states: {3}
0.16/0.20	   transitions:
0.16/0.20	    a1(10) -> 11*
0.16/0.20	    a1(8) -> 9*
0.16/0.20	    b1(12) -> 13*
0.16/0.20	    b1(9) -> 10*
0.16/0.20	    a2(20) -> 21*
0.16/0.20	    a2(22) -> 23*
0.16/0.20	    a0(3) -> 3*
0.16/0.20	    b2(21) -> 22*
0.16/0.20	    b0(3) -> 3*
0.16/0.20	    3 -> 8*
0.16/0.20	    10 -> 20*
0.16/0.20	    11 -> 9,12,3
0.16/0.20	    13 -> 10*
0.16/0.20	    23 -> 9*
0.16/0.20	  problem:
0.16/0.20	   
0.16/0.20	  Qed
0.16/0.20	EOF