YES(?,O(n^1)) 0.16/0.26 YES(?,O(n^1)) 0.16/0.26 0.16/0.26 Problem: 0.16/0.26 0(x1) -> 1(x1) 0.16/0.26 4(5(4(5(x1)))) -> 4(4(5(5(x1)))) 0.16/0.26 5(5(5(5(5(5(4(4(4(4(4(4(x1)))))))))))) -> 2(x1) 0.16/0.26 0.16/0.26 Proof: 0.16/0.26 Bounds Processor: 0.16/0.26 bound: 1 0.16/0.26 enrichment: match 0.16/0.26 automaton: 0.16/0.26 final states: {6} 0.16/0.26 transitions: 0.16/0.26 21(20) -> 21* 0.16/0.26 21(22) -> 23* 0.16/0.26 21(28) -> 29* 0.16/0.26 41(14) -> 15* 0.16/0.26 41(13) -> 14* 0.16/0.26 51(12) -> 13* 0.16/0.26 51(11) -> 12* 0.16/0.26 11(9) -> 10* 0.16/0.26 00(6) -> 6* 0.16/0.26 10(6) -> 6* 0.16/0.26 40(6) -> 6* 0.16/0.26 50(6) -> 6* 0.16/0.26 20(6) -> 6* 0.16/0.26 6 -> 20,11,9 0.16/0.26 10 -> 6* 0.16/0.26 13 -> 22* 0.16/0.26 14 -> 28* 0.16/0.26 15 -> 6* 0.16/0.26 21 -> 13,12,6 0.16/0.26 23 -> 13,6,11,9,20,12 0.16/0.26 29 -> 13,6,11,9,20,12 0.16/0.26 problem: 0.16/0.26 0.16/0.26 Qed 0.16/0.26 EOF