YES(?,O(n^1))
0.08/0.19	YES(?,O(n^1))
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 f(X) -> g()
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Bounds Processor:
0.08/0.19	  bound: 1
0.08/0.19	  enrichment: match
0.08/0.19	  automaton:
0.08/0.19	   final states: {2,1}
0.08/0.19	   transitions:
0.08/0.19	    g1() -> 4*
0.08/0.19	    f0(2) -> 1*
0.08/0.19	    f0(1) -> 1*
0.08/0.19	    g0() -> 2*
0.08/0.19	    4 -> 1*
0.08/0.19	  problem:
0.08/0.19	   
0.08/0.19	  Qed
0.19/0.20	EOF