YES
Trs:
 {q f f -> p f g,
  q g g -> p g f,
  p f f -> q f g,
  p g g -> q g f}
 Comment:
  We consider a non-duplicating trs.
  BOUND:
   Automaton:
    {q_1(q18) -> q19,
      q_0(q4) -> q4,
     f_1(q14) -> q15,
      f_1(q5) -> q6,
      f_0(q4) -> q4,
     g_1(q13) -> q14,
      g_1(q6) -> q7,
      g_0(q4) -> q4,
      p_1(q7) -> q8,
      p_0(q4) -> q4,
          q19 -> q4,
          q15 -> q7,
           q8 -> q4,
           q7 -> q18,
           q4 -> q13 | q5}
   Strict:
   {}
   Qed