The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
108 total
| Σ | # | Presentation | Mapping |
|---|
| 6 | 79 | ⟨a, b | ab=1, abab=1⟩ | φ(a) = a, φ(b) = b |
| 6 | 98 | ⟨a, b | ab=1, aab=a⟩ | φ(a) = a, φ(b) = b |
| 6 | 100 | ⟨a, b | ab=1, aba=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 514 | ⟨a, b | aab=a, aabb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 546 | ⟨a, b | aba=a, aabb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 547 | ⟨a, b | aba=a, abab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1067 | ⟨a, b | ab=1, aaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1071 | ⟨a, b | ab=1, aababb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1073 | ⟨a, b | ab=1, aabbab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1079 | ⟨a, b | ab=1, ababab=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1142 | ⟨a, b | ab=1, aaabb=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1146 | ⟨a, b | ab=1, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1148 | ⟨a, b | ab=1, aabba=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1152 | ⟨a, b | ab=1, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1154 | ⟨a, b | ab=1, ababa=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1208 | ⟨a, b | ab=1, aaab=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 1212 | ⟨a, b | ab=1, aaba=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 1217 | ⟨a, b | ab=1, aabb=ab⟩ | φ(a) = a, φ(b) = b |
| 8 | 1219 | ⟨a, b | ab=1, abaa=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 1224 | ⟨a, b | ab=1, abab=ab⟩ | φ(a) = a, φ(b) = b |
| 8 | 1228 | ⟨a, b | ab=1, abba=ba⟩ | φ(a) = a, φ(b) = b |
| 8 | 1236 | ⟨a, b | ab=1, baba=ba⟩ | φ(a) = a, φ(b) = b |
| 8 | 1260 | ⟨a, b | ab=1, aba=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 3778 | ⟨a, b | aaab=aa, aabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3833 | ⟨a, b | aaba=aa, aabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3840 | ⟨a, b | aaba=aa, baba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3842 | ⟨a, b | aaba=aa, bbaa=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3935 | ⟨a, b | abab=ab, baba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3937 | ⟨a, b | abab=ab, bbaa=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 3964 | ⟨a, b | abba=ab, bbaa=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5593 | ⟨a, b | aabb=1, aaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5599 | ⟨a, b | aabb=1, aabbab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5633 | ⟨a, b | abab=1, aababb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5641 | ⟨a, b | abab=1, ababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6045 | ⟨a, b | aab=a, aaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6049 | ⟨a, b | aab=a, aababb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6173 | ⟨a, b | aba=a, aaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6176 | ⟨a, b | aba=a, aababb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6178 | ⟨a, b | aba=a, aabbab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6183 | ⟨a, b | aba=a, abaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6184 | ⟨a, b | aba=a, ababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9535 | ⟨a, b | ab=1, aaaabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9543 | ⟨a, b | ab=1, aaababbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9547 | ⟨a, b | ab=1, aaabbabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9549 | ⟨a, b | ab=1, aaabbbab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9561 | ⟨a, b | ab=1, aabababb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9563 | ⟨a, b | ab=1, aababbab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9568 | ⟨a, b | ab=1, aabbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9570 | ⟨a, b | ab=1, aabbabab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9588 | ⟨a, b | ab=1, abaabbab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9594 | ⟨a, b | ab=1, abababab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9814 | ⟨a, b | ab=1, aaaabbb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9822 | ⟨a, b | ab=1, aaababb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9826 | ⟨a, b | ab=1, aaabbab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9828 | ⟨a, b | ab=1, aaabbba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9836 | ⟨a, b | ab=1, aabaabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9840 | ⟨a, b | ab=1, aababab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9842 | ⟨a, b | ab=1, aababba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9846 | ⟨a, b | ab=1, aabbaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9848 | ⟨a, b | ab=1, aabbaba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9853 | ⟨a, b | ab=1, aabbbab=b⟩ | φ(a) = a, φ(b) = b |
| 10 | 9864 | ⟨a, b | ab=1, abaabab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9866 | ⟨a, b | ab=1, abaabba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9870 | ⟨a, b | ab=1, ababaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9872 | ⟨a, b | ab=1, abababa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 10076 | ⟨a, b | ab=1, aaaabb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10084 | ⟨a, b | ab=1, aaabab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10088 | ⟨a, b | ab=1, aaabba=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10093 | ⟨a, b | ab=1, aaabbb=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10099 | ⟨a, b | ab=1, aabaab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10103 | ⟨a, b | ab=1, aababa=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10108 | ⟨a, b | ab=1, aababb=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10110 | ⟨a, b | ab=1, aabbaa=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10115 | ⟨a, b | ab=1, aabbab=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10120 | ⟨a, b | ab=1, aabbba=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10126 | ⟨a, b | ab=1, abaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10130 | ⟨a, b | ab=1, abaaba=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10134 | ⟨a, b | ab=1, ababaa=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10139 | ⟨a, b | ab=1, ababab=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10143 | ⟨a, b | ab=1, ababba=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10151 | ⟨a, b | ab=1, abbaab=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10154 | ⟨a, b | ab=1, abbaba=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10178 | ⟨a, b | ab=1, baabba=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10185 | ⟨a, b | ab=1, bababa=ba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10352 | ⟨a, b | ab=1, aaaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10360 | ⟨a, b | ab=1, aaaba=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10369 | ⟨a, b | ab=1, aaabb=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10370 | ⟨a, b | ab=1, aaabb=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10376 | ⟨a, b | ab=1, aabaa=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10385 | ⟨a, b | ab=1, aabab=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10386 | ⟨a, b | ab=1, aabab=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10393 | ⟨a, b | ab=1, aabba=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10394 | ⟨a, b | ab=1, aabba=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10400 | ⟨a, b | ab=1, abaaa=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10409 | ⟨a, b | ab=1, abaab=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10410 | ⟨a, b | ab=1, abaab=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10417 | ⟨a, b | ab=1, ababa=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10418 | ⟨a, b | ab=1, ababa=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10428 | ⟨a, b | ab=1, abbaa=baa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10438 | ⟨a, b | ab=1, abbba=bba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10452 | ⟨a, b | ab=1, baaba=baa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10460 | ⟨a, b | ab=1, babaa=baa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10540 | ⟨a, b | ab=1, aaba=aaab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10545 | ⟨a, b | ab=1, abaa=aaab⟩ | φ(a) = a, φ(b) = b |
| 10 | 10546 | ⟨a, b | ab=1, abaa=aaba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10551 | ⟨a, b | ab=1, abab=aabb⟩ | φ(a) = a, φ(b) = b |
| 10 | 10575 | ⟨a, b | ab=1, baab=abba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10583 | ⟨a, b | ab=1, baba=abba⟩ | φ(a) = a, φ(b) = b |