YES(?,O(n^1))
TRS:
 {q f f x -> p f g x,
  q g g x -> p g f x,
  p f f x -> q f g x,
  p g g x -> q g f x
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
    q f f x -> p f g x,
    q g g x -> p g f x,
    p f f x -> q f g x,
    p g g x -> q g f x
   }
  BOUND:
   Bound: match(-raise)-bounded by 1
   Automaton:
    {
       p_1(9) -> 10*
       p_0(1) -> 1*
       q_1(4) -> 5*
       q_0(1) -> 1*
       g_1(7) -> 8*
       g_1(2) -> 3*
       g_0(1) -> 1*
       f_1(6) -> 7*
       f_1(3) -> 4*
     f_0(1) -> 1*
         10 -> 1*
          8 -> 4*
          5 -> 1*
          4 -> 9*
          1 -> 6 | 2
    }
   Strict:
    {}
   Qed