YES
TRS:
 {g(0(), 1(), x) -> f(x, x, x),
      f(x, y, z) -> g(x, y, z)}
 DP:
  Strict:
   {g#(0(), 1(), x) -> f#(x, x, x),
        f#(x, y, z) -> g#(x, y, z)}
  Weak:
  {g(0(), 1(), x) -> f(x, x, x),
       f(x, y, z) -> g(x, y, z)}
  EDG:
   {(f#(x, y, z) -> g#(x, y, z), g#(0(), 1(), x) -> f#(x, x, x))
    (g#(0(), 1(), x) -> f#(x, x, x), f#(x, y, z) -> g#(x, y, z))}
   SCCS:
    Scc:
     {g#(0(), 1(), x) -> f#(x, x, x),
          f#(x, y, z) -> g#(x, y, z)}
    SCC:
     Strict:
      {g#(0(), 1(), x) -> f#(x, x, x),
           f#(x, y, z) -> g#(x, y, z)}
     Weak:
     {g(0(), 1(), x) -> f(x, x, x),
          f(x, y, z) -> g(x, y, z)}
     BOUND:
      Bound: roof(-raise)-bounded by 3
      Automaton:
       {        1_0() -> 3*
                0_0() -> 2*
        f#_2(3, 3, 3) -> 1*
        f#_2(2, 2, 2) -> 1*
        f#_2(1, 1, 1) -> 1*
        f#_1(3, 3, 3) -> 1*
        f#_1(2, 2, 2) -> 1*
        f#_1(1, 1, 1) -> 1*
        f#_0(3, 3, 3) -> 1*
        f#_0(3, 3, 2) -> 1*
        f#_0(3, 3, 1) -> 1*
        f#_0(3, 2, 3) -> 1*
        f#_0(3, 2, 2) -> 1*
        f#_0(3, 2, 1) -> 1*
        f#_0(3, 1, 3) -> 1*
        f#_0(3, 1, 2) -> 1*
        f#_0(3, 1, 1) -> 1*
        f#_0(2, 3, 3) -> 1*
        f#_0(2, 3, 2) -> 1*
        f#_0(2, 3, 1) -> 1*
        f#_0(2, 2, 3) -> 1*
        f#_0(2, 2, 2) -> 1*
        f#_0(2, 2, 1) -> 1*
        f#_0(2, 1, 3) -> 1*
        f#_0(2, 1, 2) -> 1*
        f#_0(2, 1, 1) -> 1*
        f#_0(1, 3, 3) -> 1*
        f#_0(1, 3, 2) -> 1*
        f#_0(1, 3, 1) -> 1*
        f#_0(1, 2, 3) -> 1*
        f#_0(1, 2, 2) -> 1*
        f#_0(1, 2, 1) -> 1*
        f#_0(1, 1, 3) -> 1*
        f#_0(1, 1, 2) -> 1*
        f#_0(1, 1, 1) -> 1*
         f_2(3, 3, 3) -> 1*
         f_2(2, 2, 2) -> 1*
         f_2(1, 1, 1) -> 1*
         f_1(3, 3, 3) -> 1*
         f_1(2, 2, 2) -> 1*
         f_1(1, 1, 1) -> 1*
         f_0(3, 3, 3) -> 1*
         f_0(3, 3, 2) -> 1*
         f_0(3, 3, 1) -> 1*
         f_0(3, 2, 3) -> 1*
         f_0(3, 2, 2) -> 1*
         f_0(3, 2, 1) -> 1*
         f_0(3, 1, 3) -> 1*
         f_0(3, 1, 2) -> 1*
         f_0(3, 1, 1) -> 1*
         f_0(2, 3, 3) -> 1*
         f_0(2, 3, 2) -> 1*
         f_0(2, 3, 1) -> 1*
         f_0(2, 2, 3) -> 1*
         f_0(2, 2, 2) -> 1*
         f_0(2, 2, 1) -> 1*
         f_0(2, 1, 3) -> 1*
         f_0(2, 1, 2) -> 1*
         f_0(2, 1, 1) -> 1*
         f_0(1, 3, 3) -> 1*
         f_0(1, 3, 2) -> 1*
         f_0(1, 3, 1) -> 1*
         f_0(1, 2, 3) -> 1*
         f_0(1, 2, 2) -> 1*
         f_0(1, 2, 1) -> 1*
         f_0(1, 1, 3) -> 1*
         f_0(1, 1, 2) -> 1*
         f_0(1, 1, 1) -> 1*
        g#_3(3, 3, 3) -> 1*
        g#_3(2, 2, 2) -> 1*
        g#_3(1, 1, 1) -> 1*
        g#_2(3, 3, 3) -> 1*
        g#_2(2, 2, 2) -> 1*
        g#_2(1, 1, 1) -> 1*
        g#_1(3, 3, 3) -> 1*
        g#_1(3, 3, 2) -> 1*
        g#_1(3, 3, 1) -> 1*
        g#_1(3, 2, 3) -> 1*
        g#_1(3, 2, 2) -> 1*
        g#_1(3, 2, 1) -> 1*
        g#_1(3, 1, 3) -> 1*
        g#_1(3, 1, 2) -> 1*
        g#_1(3, 1, 1) -> 1*
        g#_1(2, 3, 3) -> 1*
        g#_1(2, 3, 2) -> 1*
        g#_1(2, 3, 1) -> 1*
        g#_1(2, 2, 3) -> 1*
        g#_1(2, 2, 2) -> 1*
        g#_1(2, 2, 1) -> 1*
        g#_1(2, 1, 3) -> 1*
        g#_1(2, 1, 2) -> 1*
        g#_1(2, 1, 1) -> 1*
        g#_1(1, 3, 3) -> 1*
        g#_1(1, 3, 2) -> 1*
        g#_1(1, 3, 1) -> 1*
        g#_1(1, 2, 3) -> 1*
        g#_1(1, 2, 2) -> 1*
        g#_1(1, 2, 1) -> 1*
        g#_1(1, 1, 3) -> 1*
        g#_1(1, 1, 2) -> 1*
        g#_1(1, 1, 1) -> 1*
        g#_0(3, 3, 3) -> 1*
        g#_0(3, 3, 2) -> 1*
        g#_0(3, 3, 1) -> 1*
        g#_0(3, 2, 3) -> 1*
        g#_0(3, 2, 2) -> 1*
        g#_0(3, 2, 1) -> 1*
        g#_0(3, 1, 3) -> 1*
        g#_0(3, 1, 2) -> 1*
        g#_0(3, 1, 1) -> 1*
        g#_0(2, 3, 3) -> 1*
        g#_0(2, 3, 2) -> 1*
        g#_0(2, 3, 1) -> 1*
        g#_0(2, 2, 3) -> 1*
        g#_0(2, 2, 2) -> 1*
        g#_0(2, 2, 1) -> 1*
        g#_0(2, 1, 3) -> 1*
        g#_0(2, 1, 2) -> 1*
        g#_0(2, 1, 1) -> 1*
        g#_0(1, 3, 3) -> 1*
        g#_0(1, 3, 2) -> 1*
        g#_0(1, 3, 1) -> 1*
        g#_0(1, 2, 3) -> 1*
        g#_0(1, 2, 2) -> 1*
        g#_0(1, 2, 1) -> 1*
        g#_0(1, 1, 3) -> 1*
        g#_0(1, 1, 2) -> 1*
        g#_0(1, 1, 1) -> 1*
         g_3(3, 3, 3) -> 1*
         g_3(2, 2, 2) -> 1*
         g_3(1, 1, 1) -> 1*
         g_2(3, 3, 3) -> 1*
         g_2(2, 2, 2) -> 1*
         g_2(1, 1, 1) -> 1*
         g_1(3, 3, 3) -> 1*
         g_1(3, 3, 2) -> 1*
         g_1(3, 3, 1) -> 1*
         g_1(3, 2, 3) -> 1*
         g_1(3, 2, 2) -> 1*
         g_1(3, 2, 1) -> 1*
         g_1(3, 1, 3) -> 1*
         g_1(3, 1, 2) -> 1*
         g_1(3, 1, 1) -> 1*
         g_1(2, 3, 3) -> 1*
         g_1(2, 3, 2) -> 1*
         g_1(2, 3, 1) -> 1*
         g_1(2, 2, 3) -> 1*
         g_1(2, 2, 2) -> 1*
         g_1(2, 2, 1) -> 1*
         g_1(2, 1, 3) -> 1*
         g_1(2, 1, 2) -> 1*
         g_1(2, 1, 1) -> 1*
         g_1(1, 3, 3) -> 1*
         g_1(1, 3, 2) -> 1*
         g_1(1, 3, 1) -> 1*
         g_1(1, 2, 3) -> 1*
         g_1(1, 2, 2) -> 1*
         g_1(1, 2, 1) -> 1*
         g_1(1, 1, 3) -> 1*
         g_1(1, 1, 2) -> 1*
         g_1(1, 1, 1) -> 1*
         g_0(3, 3, 3) -> 1*
         g_0(3, 3, 2) -> 1*
         g_0(3, 3, 1) -> 1*
         g_0(3, 2, 3) -> 1*
         g_0(3, 2, 2) -> 1*
         g_0(3, 2, 1) -> 1*
         g_0(3, 1, 3) -> 1*
         g_0(3, 1, 2) -> 1*
         g_0(3, 1, 1) -> 1*
         g_0(2, 3, 3) -> 1*
         g_0(2, 3, 2) -> 1*
         g_0(2, 3, 1) -> 1*
         g_0(2, 2, 3) -> 1*
         g_0(2, 2, 2) -> 1*
         g_0(2, 2, 1) -> 1*
         g_0(2, 1, 3) -> 1*
         g_0(2, 1, 2) -> 1*
         g_0(2, 1, 1) -> 1*
         g_0(1, 3, 3) -> 1*
         g_0(1, 3, 2) -> 1*
         g_0(1, 3, 1) -> 1*
         g_0(1, 2, 3) -> 1*
         g_0(1, 2, 2) -> 1*
         g_0(1, 2, 1) -> 1*
         g_0(1, 1, 3) -> 1*
         g_0(1, 1, 2) -> 1*
         g_0(1, 1, 1) -> 1*}
      Strict:
       {}
      Qed