YES(?,O(n^1)) 0.15/0.21 YES(?,O(n^1)) 0.15/0.21 0.15/0.21 Problem: 0.15/0.21 f(a()) -> f(b()) 0.15/0.21 g(b()) -> g(a()) 0.15/0.21 0.15/0.21 Proof: 0.15/0.21 Bounds Processor: 0.15/0.21 bound: 1 0.15/0.21 enrichment: match 0.15/0.21 automaton: 0.15/0.21 final states: {5} 0.15/0.21 transitions: 0.15/0.21 g1(10) -> 11* 0.15/0.21 a1() -> 10* 0.15/0.21 f1(8) -> 9* 0.15/0.21 b1() -> 8* 0.15/0.21 f0(5) -> 5* 0.15/0.21 a0() -> 5* 0.15/0.21 b0() -> 5* 0.15/0.21 g0(5) -> 5* 0.15/0.21 9 -> 5* 0.15/0.21 11 -> 5* 0.15/0.21 problem: 0.15/0.21 0.15/0.21 Qed 0.15/0.22 EOF