The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
28 total
| Σ | # | Presentation | Mapping |
|---|
| 9 | 1317 | ⟨a, b | aaaa=a, abab=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 1349 | ⟨a, b | aaab=b, abab=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 1354 | ⟨a, b | aaab=b, baba=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 2426 | ⟨a, b | aaa=1, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2434 | ⟨a, b | aaa=1, ababa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 7213 | ⟨a, b | aaa=1, aaaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 7218 | ⟨a, b | aaa=1, aaababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 7227 | ⟨a, b | aaa=1, aababaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 7238 | ⟨a, b | aaa=1, abaaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 8054 | ⟨a, b | aaa=1, abab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 10958 | ⟨a, b | abab=aaa, baba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 16957 | ⟨a, b | abab=1, aaaabab=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 16962 | ⟨a, b | abab=1, aaababa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 16971 | ⟨a, b | abab=1, aababaa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 16981 | ⟨a, b | abab=1, abaaaab=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 16986 | ⟨a, b | abab=1, ababaaa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 17001 | ⟨a, b | abab=1, baaaaba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 17007 | ⟨a, b | abab=1, babaaaa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18008 | ⟨a, b | abab=1, aaaaa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 18013 | ⟨a, b | abab=1, aaaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 18018 | ⟨a, b | abab=1, aaaba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 18037 | ⟨a, b | abab=1, abaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 18058 | ⟨a, b | abab=1, baaaa=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 18071 | ⟨a, b | abab=1, bbaaa=bb⟩ | φ(a) = a, φ(b) = b |
| 11 | 22211 | ⟨a, b | aaa=1, aaabab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 22227 | ⟨a, b | aaa=1, aababa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 22292 | ⟨a, b | aaa=1, baaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 22724 | ⟨a, b | aaa=1, aaaaa=bab⟩ | φ(a) = a, φ(b) = b |