The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
63 total
| Σ | # | Presentation | Mapping |
|---|
| 6 | 92 | ⟨a, b | aa=1, bab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 495 | ⟨a, b | aaa=a, abab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 532 | ⟨a, b | aab=b, abab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 537 | ⟨a, b | aab=b, baba=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 557 | ⟨a, b | aba=b, abab=1⟩ | φ(a) = b, φ(b) = a |
| 8 | 1029 | ⟨a, b | aa=1, aaabab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1033 | ⟨a, b | aa=1, aababa=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1039 | ⟨a, b | aa=1, abaaab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1106 | ⟨a, b | aa=1, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1114 | ⟨a, b | aa=1, ababa=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1124 | ⟨a, b | aa=1, baaab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1183 | ⟨a, b | aa=1, abab=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 1248 | ⟨a, b | aa=1, bab=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 3747 | ⟨a, b | aaaa=aa, abab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3794 | ⟨a, b | aaab=ab, abab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3799 | ⟨a, b | aaab=ab, baba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3848 | ⟨a, b | aaba=ab, abab=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3853 | ⟨a, b | aaba=ab, baba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3861 | ⟨a, b | aaba=ba, abab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3866 | ⟨a, b | aaba=ba, baba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3891 | ⟨a, b | aabb=aa, baba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3926 | ⟨a, b | abab=aa, baba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3955 | ⟨a, b | abba=aa, baba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5627 | ⟨a, b | abab=1, aaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5631 | ⟨a, b | abab=1, aabaab=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5632 | ⟨a, b | abab=1, aababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5638 | ⟨a, b | abab=1, abaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5639 | ⟨a, b | abab=1, abaaba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5640 | ⟨a, b | abab=1, ababaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5649 | ⟨a, b | abab=1, baaaba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5650 | ⟨a, b | abab=1, baabaa=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5652 | ⟨a, b | abab=1, babaaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5971 | ⟨a, b | aaa=a, aaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5975 | ⟨a, b | aaa=a, aababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5981 | ⟨a, b | aaa=a, abaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6107 | ⟨a, b | aab=b, aaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6112 | ⟨a, b | aab=b, aababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6119 | ⟨a, b | aab=b, abaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6122 | ⟨a, b | aab=b, ababaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6136 | ⟨a, b | aab=b, baaaba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6142 | ⟨a, b | aab=b, babaaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6210 | ⟨a, b | aba=b, aabaab=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 6218 | ⟨a, b | aba=b, abaaba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 9389 | ⟨a, b | aa=1, aaaaabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9394 | ⟨a, b | aa=1, aaaababa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9400 | ⟨a, b | aa=1, aaabaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9403 | ⟨a, b | aa=1, aaababaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9416 | ⟨a, b | aa=1, aabaaaba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9442 | ⟨a, b | aa=1, abaaaaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9666 | ⟨a, b | aa=1, aaaabab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9676 | ⟨a, b | aa=1, aaababa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9688 | ⟨a, b | aa=1, aabaaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9694 | ⟨a, b | aa=1, aababaa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9718 | ⟨a, b | aa=1, abaaaba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9760 | ⟨a, b | aa=1, baaaaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9947 | ⟨a, b | aa=1, aaabab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9963 | ⟨a, b | aa=1, aababa=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9986 | ⟨a, b | aa=1, abaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10204 | ⟨a, b | aa=1, aaaaa=bab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10236 | ⟨a, b | aa=1, aabab=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10268 | ⟨a, b | aa=1, ababa=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10304 | ⟨a, b | aa=1, baaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10481 | ⟨a, b | aa=1, abab=aaaa⟩ | φ(a) = a, φ(b) = b |