The rewrite relation of the following TRS is considered.
a__g(X) | → | a__h(X) | (1) |
a__c | → | d | (2) |
a__h(d) | → | a__g(c) | (3) |
mark(g(X)) | → | a__g(X) | (4) |
mark(h(X)) | → | a__h(X) | (5) |
mark(c) | → | a__c | (6) |
mark(d) | → | d | (7) |
a__g(X) | → | g(X) | (8) |
a__h(X) | → | h(X) | (9) |
a__c | → | c | (10) |
final states:
{0, 1, 2, 3, 4, 5, 6, 7}
transitions:
a__g0(0) | → | 0 |
a__g0(1) | → | 0 |
a__g0(2) | → | 0 |
a__g0(3) | → | 0 |
a__g0(4) | → | 0 |
a__g0(5) | → | 0 |
a__g0(6) | → | 0 |
a__g0(7) | → | 0 |
a__h0(0) | → | 1 |
a__h0(1) | → | 1 |
a__h0(2) | → | 1 |
a__h0(3) | → | 1 |
a__h0(4) | → | 1 |
a__h0(5) | → | 1 |
a__h0(6) | → | 1 |
a__h0(7) | → | 1 |
a__c0 | → | 2 |
d0 | → | 3 |
c0 | → | 4 |
mark0(0) | → | 5 |
mark0(1) | → | 5 |
mark0(2) | → | 5 |
mark0(3) | → | 5 |
mark0(4) | → | 5 |
mark0(5) | → | 5 |
mark0(6) | → | 5 |
mark0(7) | → | 5 |
g0(0) | → | 6 |
g0(1) | → | 6 |
g0(2) | → | 6 |
g0(3) | → | 6 |
g0(4) | → | 6 |
g0(5) | → | 6 |
g0(6) | → | 6 |
g0(7) | → | 6 |
h0(0) | → | 7 |
h0(1) | → | 7 |
h0(2) | → | 7 |
h0(3) | → | 7 |
h0(4) | → | 7 |
h0(5) | → | 7 |
h0(6) | → | 7 |
h0(7) | → | 7 |
a__h1(0) | → | 0 |
a__h1(1) | → | 0 |
a__h1(2) | → | 0 |
a__h1(3) | → | 0 |
a__h1(4) | → | 0 |
a__h1(5) | → | 0 |
a__h1(6) | → | 0 |
a__h1(7) | → | 0 |
d1 | → | 2 |
c1 | → | 8 |
a__g1(8) | → | 1 |
a__g1(0) | → | 5 |
a__g1(1) | → | 5 |
a__g1(2) | → | 5 |
a__g1(3) | → | 5 |
a__g1(4) | → | 5 |
a__g1(5) | → | 5 |
a__g1(6) | → | 5 |
a__g1(7) | → | 5 |
a__c1 | → | 0 |
g1(0) | → | 0 |
g1(1) | → | 0 |
g1(3) | → | 0 |
g1(4) | → | 0 |
g1(5) | → | 0 |
g1(6) | → | 0 |
g1(7) | → | 0 |
h1(0) | → | 1 |
h1(1) | → | 1 |
h1(3) | → | 1 |
h1(4) | → | 1 |
h1(5) | → | 1 |
h1(6) | → | 1 |
h1(7) | → | 1 |
a__h2(8) | → | 1 |
a__h2(0) | → | 0 |
a__h2(1) | → | 0 |
a__h2(3) | → | 0 |
a__h2(4) | → | 0 |
a__h2(5) | → | 0 |
a__h2(6) | → | 0 |
a__h2(7) | → | 0 |
d2 | → | 0 |
c2 | → | 9 |
a__g2(9) | → | 0 |
g2(8) | → | 1 |
g2(0) | → | 0 |
g2(3) | → | 0 |
g2(4) | → | 0 |
g2(5) | → | 0 |
g2(6) | → | 0 |
g2(7) | → | 0 |
h2(0) | → | 0 |
h2(3) | → | 0 |
h2(4) | → | 0 |
h2(5) | → | 0 |
h2(6) | → | 0 |
h2(7) | → | 0 |
a__h3(9) | → | 0 |
c3 | → | 10 |
a__g3(10) | → | 0 |
g3(9) | → | 0 |
h3(8) | → | 0 |
h3(0) | → | 0 |
h3(3) | → | 0 |
h3(4) | → | 0 |
h3(5) | → | 0 |
h3(6) | → | 0 |
h3(7) | → | 0 |
a__h4(10) | → | 0 |
g4(10) | → | 0 |
h4(9) | → | 0 |
a__g1(10) | → | 0 |
h5(10) | → | 0 |
a__h2(10) | → | 0 |
g2(10) | → | 0 |
a__h1(10) | → | 0 |
h2(10) | → | 0 |
h3(10) | → | 0 |
0 | → | 5 |
0 | → | 1 |
2 | → | 0 |
8 | → | 2 |
1 | → | 0 |
9 | → | 0 |