YES

Problem:
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1)))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))
 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))
 0(1(2(1(x1)))) ->
 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))
 0(1(2(1(x1)))) ->
 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))

Proof:
 String Reversal Processor:
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(1(1(2(1(x1))))))))))
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))
  1(2(1(0(x1)))) -> 2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))
  1(2(1(0(x1)))) ->
  2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1))))))))))))))))))))))))))))
  1(2(1(0(x1)))) ->
  2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(2(1(0(1(1(2(1(x1)))))))))))))))))))))))))))))))
  Bounds Processor:
   bound: 2
   enrichment: match
   automaton:
    final states: {30,27,24,21,18,15,12,1}
    transitions:
     21(50) -> 51*
     21(45) -> 46*
     21(79) -> 80*
     21(76) -> 77*
     21(71) -> 72*
     21(53) -> 54*
     11(75) -> 76*
     11(70) -> 71*
     11(127) -> 128*
     11(72) -> 73*
     11(52) -> 53*
     11(47) -> 48*
     11(139) -> 140*
     11(49) -> 50*
     11(44) -> 45*
     11(131) -> 132*
     11(121) -> 122*
     11(46) -> 47*
     11(143) -> 144*
     11(123) -> 124*
     11(78) -> 79*
     11(73) -> 74*
     11(135) -> 136*
     01(55) -> 56*
     01(77) -> 78*
     01(74) -> 75*
     01(81) -> 82*
     01(51) -> 52*
     01(48) -> 49*
     22(102) -> 103*
     22(97) -> 98*
     22(105) -> 106*
     12(117) -> 118*
     12(107) -> 108*
     12(104) -> 105*
     12(99) -> 100*
     12(101) -> 102*
     12(96) -> 97*
     12(98) -> 99*
     f30() -> 2*
     02(113) -> 114*
     02(103) -> 104*
     02(100) -> 101*
     20(20) -> 18*
     20(32) -> 30*
     20(17) -> 15*
     20(29) -> 27*
     20(14) -> 12*
     20(26) -> 24*
     20(11) -> 1*
     20(23) -> 21*
     20(8) -> 9*
     20(3) -> 4*
     10(25) -> 26*
     10(10) -> 11*
     10(5) -> 6*
     10(22) -> 23*
     10(7) -> 8*
     10(2) -> 3*
     10(19) -> 20*
     10(4) -> 5*
     10(31) -> 32*
     10(16) -> 17*
     10(28) -> 29*
     10(13) -> 14*
     00(15) -> 19*
     00(27) -> 31*
     00(12) -> 16*
     00(24) -> 28*
     00(9) -> 10*
     00(21) -> 25*
     00(6) -> 7*
     00(1) -> 13*
     00(18) -> 22*
     1 -> 121,3,5
     6 -> 70*
     9 -> 44*
     12 -> 123,3,5
     15 -> 127,3,5
     18 -> 131,3,5
     21 -> 135,3,5
     24 -> 139,3,5
     27 -> 143,3,5
     30 -> 3,5
     48 -> 117*
     51 -> 107*
     54 -> 144,140,136,132,128,124,122,55,6
     55 -> 96*
     56 -> 52*
     80 -> 81,45
     82 -> 78*
     106 -> 108,97,113,71
     108 -> 97*
     114 -> 104*
     118 -> 97*
     122 -> 45*
     124 -> 45*
     128 -> 45*
     132 -> 45*
     136 -> 45*
     140 -> 45*
     144 -> 45*
   problem:
    
   Qed