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 a(b(x)) -> a(c(b(x))) 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: {4} 0.16/0.21 transitions: 0.16/0.21 a1(11) -> 12* 0.16/0.21 c1(10) -> 11* 0.16/0.21 b1(9) -> 10* 0.16/0.21 a0(4) -> 4* 0.16/0.21 b0(4) -> 4* 0.16/0.21 c0(4) -> 4* 0.16/0.21 4 -> 9* 0.16/0.21 12 -> 4* 0.16/0.21 problem: 0.16/0.21 0.16/0.21 Qed 0.16/0.21 EOF