YES(?,O(n^1)) 0.16/0.21 YES(?,O(n^1)) 0.16/0.21 0.16/0.21 Problem: 0.16/0.21 f(f(a(),f(a(),a())),x) -> f(x,f(f(a(),a()),a())) 0.16/0.21 0.16/0.21 Proof: 0.16/0.21 Bounds Processor: 0.16/0.21 bound: 1 0.16/0.21 enrichment: match 0.16/0.21 automaton: 0.16/0.21 final states: {3} 0.16/0.21 transitions: 0.16/0.21 f1(8,7) -> 9* 0.16/0.21 f1(3,9) -> 3* 0.16/0.21 f1(7,7) -> 8* 0.16/0.21 f1(9,9) -> 3* 0.16/0.21 a1() -> 7* 0.16/0.21 f0(3,3) -> 3* 0.16/0.21 a0() -> 3* 0.16/0.21 problem: 0.16/0.21 0.16/0.21 Qed 0.16/0.22 EOF