MAYBE

Problem:
 f(cons(nil(),y)) -> y
 f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
 copy(0(),y,z) -> f(z)
 copy(s(x),y,z) -> copy(x,y,cons(f(y),z))

Proof:
 DP Processor:
  DPs:
   f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z)
   copy#(0(),y,z) -> f#(z)
   copy#(s(x),y,z) -> f#(y)
   copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z))
  TRS:
   f(cons(nil(),y)) -> y
   f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
   copy(0(),y,z) -> f(z)
   copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
  TDG Processor:
   DPs:
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z)
    copy#(0(),y,z) -> f#(z)
    copy#(s(x),y,z) -> f#(y)
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z))
   TRS:
    f(cons(nil(),y)) -> y
    f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
    copy(0(),y,z) -> f(z)
    copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
   graph:
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z)) ->
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z))
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z)) ->
    copy#(s(x),y,z) -> f#(y)
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z)) -> copy#(0(),y,z) -> f#(z)
    copy#(s(x),y,z) -> f#(y) ->
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z)
    copy#(0(),y,z) -> f#(z) ->
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z)
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z) ->
    copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z))
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z) ->
    copy#(s(x),y,z) -> f#(y)
    f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z) -> copy#(0(),y,z) -> f#(z)
   SCC Processor:
    #sccs: 1
    #rules: 4
    #arcs: 8/16
    DPs:
     copy#(s(x),y,z) -> copy#(x,y,cons(f(y),z))
     copy#(0(),y,z) -> f#(z)
     f#(cons(f(cons(nil(),y)),z)) -> copy#(n(),y,z)
     copy#(s(x),y,z) -> f#(y)
    TRS:
     f(cons(nil(),y)) -> y
     f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
     copy(0(),y,z) -> f(z)
     copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
    Open