Ops s:1 o:0 plus:0 mult:0 true:0 false:0 app:2 filter:0 
    cons:2 nil:0 foldL:0 even:0 odd:0

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

TRS R1

app(app(app(foldL,F),Acc),nil) -> Acc 
app(app(app(foldL,F),Acc),cons(X,Y)) -> app(app(app(foldL,F), app(app(F,Acc),X)),Y)

app(even, o) -> true
app(odd, o) -> false
app(even, s(X)) -> app(odd, X)
app(odd, s(X)) -> app(even, X)

app(app(plus,o),X) -> X
app(app(plus,s(X)),Y) -> s(app(app(plus,X),Y))
    
SRegexp A0
       app(even,app(app(app(foldL,plus),o),[cons([s(s(*|o))],*|nil)]))
          
Automaton TC
States qi ql qb
Final States qi ql qb
Transitions    
        o -> qi
        s(qi) -> qi
        cons(qi,ql) -> ql
        nil -> ql   
        true -> qb
        false -> qb

Patterns
        false