The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
25 total
| Σ | # | Presentation | Mapping |
|---|
| 6 | 150 | ⟨a, b, c | ab=a, ba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ca |
| 7 | 943 | ⟨a, b, c | ab=a, aaa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aaa |
| 7 | 944 | ⟨a, b, c | ab=a, aab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 7 | 948 | ⟨a, b, c | ab=a, aba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 7 | 949 | ⟨a, b, c | ab=a, abb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = a |
| 7 | 962 | ⟨a, b, c | ab=a, baa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = caa |
| 7 | 963 | ⟨a, b, c | ab=a, bab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ca |
| 7 | 967 | ⟨a, b, c | ab=a, bba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = cca |
| 7 | 968 | ⟨a, b, c | ab=a, bbb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ccc |
| 8 | 5274 | ⟨a, b, c | ab=a, aaaa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aaaa |
| 8 | 5275 | ⟨a, b, c | ab=a, aaab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aaa |
| 8 | 5279 | ⟨a, b, c | ab=a, aaba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aaa |
| 8 | 5280 | ⟨a, b, c | ab=a, aabb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 8 | 5293 | ⟨a, b, c | ab=a, abaa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aaa |
| 8 | 5294 | ⟨a, b, c | ab=a, abab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 8 | 5298 | ⟨a, b, c | ab=a, abba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = aa |
| 8 | 5299 | ⟨a, b, c | ab=a, abbb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = a |
| 8 | 5339 | ⟨a, b, c | ab=a, baaa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = caaa |
| 8 | 5340 | ⟨a, b, c | ab=a, baab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = caa |
| 8 | 5344 | ⟨a, b, c | ab=a, baba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = caa |
| 8 | 5345 | ⟨a, b, c | ab=a, babb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ca |
| 8 | 5358 | ⟨a, b, c | ab=a, bbaa=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ccaa |
| 8 | 5359 | ⟨a, b, c | ab=a, bbab=c⟩ | φ(a) = a, φ(b) = c, φ(c) = cca |
| 8 | 5363 | ⟨a, b, c | ab=a, bbba=c⟩ | φ(a) = a, φ(b) = c, φ(c) = ccca |
| 8 | 5364 | ⟨a, b, c | ab=a, bbbb=c⟩ | φ(a) = a, φ(b) = c, φ(c) = cccc |