Ops s:1 o:0 plus:0 mult:0 true:0 false:0 app:2 leq:0 map:0 forall:0
cons:2 nil:0 ite:0
   foldR:0

Const s o true false cons nil
Vars X Y Z F Acc

TRS R1
app(app(app(foldR,F),nil),Acc) -> Acc 
app(app(app(foldR,F),cons(X,Y)),Acc) -> app(app(F,X),app(app(app(foldR,F),Y),Acc))

app(app(plus,o),X) -> X
app(app(plus,s(X)),Y) -> s(app(app(plus,X),Y))
app(app(mult,o),X) -> o
app(app(mult,s(X)), Y) -> app(app(plus,Y), app(app(mult,X), Y))
    
SRegexp A0
       app(app(app(foldR,mult),[cons(s([s(*|o)]),*|nil)]),s(o))
          
Automaton TC
States qi ql
Final States qi ql
Transitions    
        o -> qi
        s(qi) -> qi
        cons(qi,ql) -> ql
        nil -> ql   

Patterns
        o