Ops append:2 rev:1 nil:0 cons:2 A:0 B:0 
Const nil cons A B 
Vars X Y Z U Xs

TRS R1
  append(nil,X) -> X
  append(cons(X,Y), Z) -> cons(X, append(Y,Z))
  rev(nil) -> nil
  rev(cons(X,Y)) -> append(rev(Y), cons(X,nil))

SRegexp A1
       rev([cons(A,*|[cons(B,*|nil)])])

Automaton TC
States qe ql 
Final States ql qe 
Transitions
        A -> qe
        B -> qe
        cons(qe,ql) -> ql
        nil -> ql

Patterns    
        cons(A,cons(B,nil))
        cons(A,cons(A,cons(B,nil)))