Term Rewriting System R:
[X, XS]
zeros -> cons(0, nzeros)
zeros -> nzeros
tail(cons(X, XS)) -> activate(XS)
activate(nzeros) -> zeros
activate(X) -> X

Innermost Termination of R to be shown.



   R
Dependency Pair Analysis



R contains the following Dependency Pairs:

TAIL(cons(X, XS)) -> ACTIVATE(XS)
ACTIVATE(nzeros) -> ZEROS

R contains no SCCs.

Innermost Termination of R successfully shown.
Duration:
0:00 minutes