YES
O(n)
TRS:
 {g(x, a(), b()) -> g(b(), b(), a())}
 DUP: We consider a non-duplicating system.
  Trs:
   {g(x, a(), b()) -> g(b(), b(), a())}
  BOUND:
   Automaton:
    {
            a_1() -> 5,
            a_0() -> 3,
            b_1() -> 4,
            b_0() -> 3,
     g_1(4, 4, 5) -> 3,
     g_0(3, 3, 3) -> 3
    }
   Strict:
    {}
   Qed