Ops plus:0 s:1 o:0 app:2 map:0 cons:2 nil:0
Const s o nil cons
Vars X Y F

TRS R
  app(app(plus,o),X) -> X
  app(app(plus,s(X)),Y) -> s(app(app(plus,X),Y))

  app(app(map,F),nil) -> nil
  app(app(map,F),cons(X,Y)) -> cons(app(F,X),app(app(map,F),Y))

SRegexp A0
  app(app(map,app(plus,s(o))),[cons([s(*|o)],*|nil)])

Automaton TC
States qi ql
Final States qi ql
Transitions
   o -> qi
   s(qi) -> qi
   cons(qi,ql) -> ql
   nil -> ql

Patterns
   cons(o,_)
   cons(_,cons(o,_))
   cons(_,cons(_,cons(o,_)))