YES(?,O(n^1))
0.16/0.23	YES(?,O(n^1))
0.16/0.23	
0.16/0.23	Problem:
0.16/0.23	 \(x,x) -> e()
0.16/0.23	 /(x,x) -> e()
0.16/0.23	 .(e(),x) -> x
0.16/0.23	 .(x,e()) -> x
0.16/0.23	 \(e(),x) -> x
0.16/0.23	 /(x,e()) -> x
0.16/0.23	 .(x,\(x,y)) -> y
0.16/0.23	 .(/(y,x),x) -> y
0.16/0.23	 \(x,.(x,y)) -> y
0.16/0.23	 /(.(y,x),x) -> y
0.16/0.23	 /(x,\(y,x)) -> y
0.16/0.23	 \(/(x,y),x) -> y
0.16/0.23	
0.16/0.23	Proof:
0.16/0.23	 Bounds Processor:
0.16/0.23	  bound: 1
0.16/0.23	  enrichment: match
0.16/0.23	  automaton:
0.16/0.23	   final states: {5}
0.16/0.23	   transitions:
0.16/0.23	    \0(5,5) -> 5*
0.16/0.23	    e0() -> 5*
0.16/0.23	    /0(5,5) -> 5*
0.16/0.23	    .0(5,5) -> 5*
0.16/0.23	    e1() -> 5*
0.16/0.23	  problem:
0.16/0.23	   
0.16/0.23	  Qed
0.16/0.23	EOF