YES(?,O(n^1))
0.15/0.23	YES(?,O(n^1))
0.15/0.23	
0.15/0.23	Problem:
0.15/0.23	 app(nil(),YS) -> YS
0.15/0.23	 app(cons(X),YS) -> cons(X)
0.15/0.23	 from(X) -> cons(X)
0.15/0.23	 zWadr(nil(),YS) -> nil()
0.15/0.23	 zWadr(XS,nil()) -> nil()
0.15/0.23	 zWadr(cons(X),cons(Y)) -> cons(app(Y,cons(X)))
0.15/0.23	 prefix(L) -> cons(nil())
0.15/0.23	
0.15/0.23	Proof:
0.15/0.23	 Bounds Processor:
0.15/0.23	  bound: 2
0.15/0.23	  enrichment: match
0.15/0.23	  automaton:
0.15/0.23	   final states: {7}
0.15/0.23	   transitions:
0.15/0.23	    cons1(7) -> 7*
0.15/0.23	    nil1() -> 7*
0.15/0.23	    app1(7,7) -> 7*
0.15/0.23	    cons2(7) -> 7*
0.15/0.23	    app0(7,7) -> 7*
0.15/0.23	    nil0() -> 7*
0.15/0.23	    cons0(7) -> 7*
0.15/0.23	    from0(7) -> 7*
0.15/0.23	    zWadr0(7,7) -> 7*
0.15/0.23	    prefix0(7) -> 7*
0.15/0.23	  problem:
0.15/0.23	   
0.15/0.23	  Qed
0.15/0.23	EOF