YES(?,O(n^1))
0.15/0.24	YES(?,O(n^1))
0.15/0.24	
0.15/0.24	Problem:
0.15/0.24	 g(a()) -> g(b())
0.15/0.24	 b() -> f(a(),a())
0.15/0.24	 f(a(),a()) -> g(d())
0.15/0.24	
0.15/0.24	Proof:
0.15/0.24	 Bounds Processor:
0.15/0.24	  bound: 3
0.15/0.24	  enrichment: match
0.15/0.24	  automaton:
0.15/0.24	   final states: {6}
0.15/0.24	   transitions:
0.15/0.24	    d3() -> 16*
0.15/0.24	    g1(8) -> 6*
0.15/0.24	    d1() -> 8*
0.15/0.24	    f1(9,9) -> 6*
0.15/0.24	    a1() -> 9*
0.15/0.24	    b1() -> 8*
0.15/0.24	    g2(15) -> 6*
0.15/0.24	    g0(6) -> 6*
0.15/0.24	    d2() -> 15*
0.15/0.24	    a0() -> 6*
0.15/0.24	    f2(12,12) -> 8*
0.15/0.24	    b0() -> 6*
0.15/0.24	    a2() -> 12*
0.15/0.24	    f0(6,6) -> 6*
0.15/0.24	    g3(16) -> 8*
0.15/0.24	    d0() -> 6*
0.15/0.24	  problem:
0.15/0.24	   
0.15/0.24	  Qed
0.15/0.25	EOF