The rewrite relation of the following TRS is considered.
filter(cons(X),0,M) | → | cons(0) | (1) |
filter(cons(X),s(N),M) | → | cons(X) | (2) |
sieve(cons(0)) | → | cons(0) | (3) |
sieve(cons(s(N))) | → | cons(s(N)) | (4) |
nats(N) | → | cons(N) | (5) |
zprimes | → | sieve(nats(s(s(0)))) | (6) |
zprimes# | → | nats#(s(s(0))) | (7) |
zprimes# | → | sieve#(nats(s(s(0)))) | (8) |
The dependency pairs are split into 0 components.