The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
47 total
| Σ | # | Presentation | Mapping |
|---|
| 9 | 1939 | ⟨a, b | aab=b, bbbbb=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 3229 | ⟨a, b | aa=1, aabbbbb=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 3250 | ⟨a, b | aa=1, abbbbba=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 3259 | ⟨a, b | aa=1, baabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 3267 | ⟨a, b | aa=1, bbaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 9 | 3386 | ⟨a, b | aa=1, abbbbb=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 3541 | ⟨a, b | aa=1, bbbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 11948 | ⟨a, b | aabb=aa, aaaaa=1⟩ | φ(a) = b, φ(b) = a |
| 11 | 12076 | ⟨a, b | abba=aa, aaaaa=1⟩ | φ(a) = b, φ(b) = a |
| 11 | 18173 | ⟨a, b | aaa=a, aabbbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18194 | ⟨a, b | aaa=a, abbbbba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18203 | ⟨a, b | aaa=a, baabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18211 | ⟨a, b | aaa=a, bbaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18447 | ⟨a, b | aab=b, aabbbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18478 | ⟨a, b | aab=b, abbbbba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18495 | ⟨a, b | aab=b, baabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18519 | ⟨a, b | aab=b, bbaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18531 | ⟨a, b | aab=b, bbbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18537 | ⟨a, b | aab=b, bbbbaab=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 18540 | ⟨a, b | aab=b, bbbbbaa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 25943 | ⟨a, b | aa=1, aaaabbbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 25972 | ⟨a, b | aa=1, aaabbbbba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 25987 | ⟨a, b | aa=1, aabaabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26007 | ⟨a, b | aa=1, aabbaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26017 | ⟨a, b | aa=1, aabbbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26021 | ⟨a, b | aa=1, aabbbbaab=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26024 | ⟨a, b | aa=1, aabbbbbaa=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26050 | ⟨a, b | aa=1, abaabbbba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26082 | ⟨a, b | aa=1, abbaabbba=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26119 | ⟨a, b | aa=1, baaaabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26130 | ⟨a, b | aa=1, baabaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26135 | ⟨a, b | aa=1, baabbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26138 | ⟨a, b | aa=1, baabbbaab=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26165 | ⟨a, b | aa=1, bbaaaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26168 | ⟨a, b | aa=1, bbaabaabb=1⟩ | φ(a) = a, φ(b) = b |
| 11 | 26500 | ⟨a, b | aa=1, aaabbbbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 26552 | ⟨a, b | aa=1, aabbbbba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 26578 | ⟨a, b | aa=1, abaabbbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 26610 | ⟨a, b | aa=1, abbaabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 26624 | ⟨a, b | aa=1, abbbaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 26630 | ⟨a, b | aa=1, abbbbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 27080 | ⟨a, b | aa=1, aabbbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27161 | ⟨a, b | aa=1, abbbbba=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27194 | ⟨a, b | aa=1, baabbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27223 | ⟨a, b | aa=1, bbaabbb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27688 | ⟨a, b | aa=1, abbbbb=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28286 | ⟨a, b | aa=1, bbbbb=aaaa⟩ | φ(a) = a, φ(b) = b |