YES
O(n)
TRS:
 {a(b(a(x))) -> b(a(x))}
 DUP: We consider a non-duplicating system.
  Trs:
   {a(b(a(x))) -> b(a(x))}
  BOUND:
   Automaton:
    {
     a_2(11) -> 12,
      a_1(3) -> 4,
      a_0(2) -> 2,
     b_2(12) -> 13,
      b_1(4) -> 5,
      b_0(2) -> 2,
          13 -> 12 | 4,
           5 -> 12 | 4 | 2,
           3 -> 11,
           2 -> 3
    }
   Strict:
    {}
   Qed