The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
13 total
| Σ | # | Presentation | Mapping |
|---|
| 8 | 1128 | ⟨a, b | aa=1, babab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5984 | ⟨a, b | aaa=a, ababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6123 | ⟨a, b | aab=b, ababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6144 | ⟨a, b | aab=b, bababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9404 | ⟨a, b | aa=1, aaababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9423 | ⟨a, b | aa=1, aabababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9445 | ⟨a, b | aa=1, abaaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9454 | ⟨a, b | aa=1, ababaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9696 | ⟨a, b | aa=1, aababab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9730 | ⟨a, b | aa=1, abababa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9764 | ⟨a, b | aa=1, baaabab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9997 | ⟨a, b | aa=1, ababab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10318 | ⟨a, b | aa=1, babab=aaa⟩ | φ(a) = a, φ(b) = b |