The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
25 total
| Σ | # | Presentation | Mapping |
|---|
| 6 | 119 | ⟨a, b, c | ab=c, aaa=1⟩ | φ(a) = c, φ(b) = a, φ(c) = ca |
| 7 | 280 | ⟨a, b, c | aaa=b, ccc=1⟩ | φ(a) = a, φ(b) = aaa, φ(c) = c |
| 7 | 330 | ⟨a, b, c | aab=c, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = aac |
| 7 | 376 | ⟨a, b, c | aba=c, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = aca |
| 7 | 384 | ⟨a, b, c | abb=c, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = acc |
| 7 | 425 | ⟨a, b, c | bab=c, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = cac |
| 7 | 466 | ⟨a, b, c | ba=ac, aaa=1⟩ | φ(a) = c, φ(b) = a, φ(c) = ccac |
| 7 | 488 | ⟨a, b, c | bb=ac, aaa=1⟩ | φ(a) = c, φ(b) = a, φ(c) = ccaa |
| 8 | 1589 | ⟨a, b, c | aaa=bc, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ccaaa |
| 8 | 1706 | ⟨a, b, c | aab=bc, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ccaac |
| 8 | 1756 | ⟨a, b, c | aab=cb, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 8 | 1870 | ⟨a, b, c | aba=bc, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ccaca |
| 8 | 1905 | ⟨a, b, c | abb=bc, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ccacc |
| 8 | 1907 | ⟨a, b, c | abb=cb, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ac |
| 8 | 1908 | ⟨a, b, c | abb=cc, bbb=1⟩ | φ(a) = aac, φ(b) = c, φ(c) = a |
| 8 | 2030 | ⟨a, b, c | bab=bc, bbb=1⟩ | φ(a) = a, φ(b) = c, φ(c) = ac |
| 8 | 2031 | ⟨a, b, c | bab=cc, bbb=1⟩ | φ(a) = ccaacc, φ(b) = c, φ(c) = a |
| 8 | 4106 | ⟨a, b, c | aaa=1, aaba=c⟩ | φ(a) = c, φ(b) = a, φ(c) = ccac |
| 8 | 4107 | ⟨a, b, c | aaa=1, aabb=c⟩ | φ(a) = c, φ(b) = a, φ(c) = ccaa |
| 8 | 4111 | ⟨a, b, c | aaa=1, abab=c⟩ | φ(a) = c, φ(b) = a, φ(c) = caca |
| 8 | 4115 | ⟨a, b, c | aaa=1, abba=c⟩ | φ(a) = c, φ(b) = a, φ(c) = caac |
| 8 | 4116 | ⟨a, b, c | aaa=1, abbb=c⟩ | φ(a) = c, φ(b) = a, φ(c) = caaa |
| 8 | 4128 | ⟨a, b, c | aaa=1, baab=c⟩ | φ(a) = c, φ(b) = a, φ(c) = acca |
| 8 | 4131 | ⟨a, b, c | aaa=1, babb=c⟩ | φ(a) = c, φ(b) = a, φ(c) = acaa |
| 8 | 4141 | ⟨a, b, c | aaa=1, bbbb=c⟩ | φ(a) = c, φ(b) = a, φ(c) = aaaa |