YES(?,O(n^1)) 0.15/0.22 YES(?,O(n^1)) 0.15/0.22 0.15/0.22 Problem: 0.15/0.22 a() -> g(c()) 0.15/0.22 g(a()) -> b() 0.15/0.22 f(g(X),b()) -> f(a(),X) 0.15/0.22 0.15/0.22 Proof: 0.15/0.22 Bounds Processor: 0.15/0.22 bound: 3 0.15/0.22 enrichment: match 0.15/0.22 automaton: 0.15/0.22 final states: {6} 0.15/0.22 transitions: 0.15/0.22 c3() -> 13* 0.15/0.22 f1(10,11) -> 6* 0.15/0.22 f1(10,6) -> 6* 0.15/0.22 f1(10,8) -> 6* 0.15/0.22 a1() -> 10* 0.15/0.22 b1() -> 6* 0.15/0.22 g1(8) -> 6* 0.15/0.22 c1() -> 8* 0.15/0.22 g2(11) -> 10* 0.15/0.22 a0() -> 6* 0.15/0.22 c2() -> 11* 0.15/0.22 g0(6) -> 6* 0.15/0.22 f2(12,11) -> 6* 0.15/0.22 c0() -> 6* 0.15/0.22 a2() -> 12* 0.15/0.22 b0() -> 6* 0.15/0.22 g3(13) -> 12* 0.15/0.22 f0(6,6) -> 6* 0.15/0.22 problem: 0.15/0.22 0.15/0.22 Qed 0.15/0.22 EOF