The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
55 total
| Σ | # | Presentation | Mapping |
|---|
| 7 | 334 | ⟨a, b | aa=1, baab=b⟩ | φ(a) = a, φ(b) = b |
| 7 | 361 | ⟨a, b | aa=1, aab=bb⟩ | φ(a) = a, φ(b) = b |
| 7 | 366 | ⟨a, b | aa=1, abb=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3343 | ⟨a, b | aa=1, aaaabb=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3353 | ⟨a, b | aa=1, aabaab=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3359 | ⟨a, b | aa=1, aabbaa=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3389 | ⟨a, b | aa=1, baaaab=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3478 | ⟨a, b | aa=1, aaaab=bb⟩ | φ(a) = a, φ(b) = b |
| 9 | 3484 | ⟨a, b | aa=1, aaabb=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3489 | ⟨a, b | aa=1, aabaa=bb⟩ | φ(a) = a, φ(b) = b |
| 9 | 3496 | ⟨a, b | aa=1, aabba=ba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3503 | ⟨a, b | aa=1, abaab=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3617 | ⟨a, b | aa=1, aaab=abb⟩ | φ(a) = a, φ(b) = b |
| 9 | 3628 | ⟨a, b | aa=1, aaba=bba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3631 | ⟨a, b | aa=1, aabb=aab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3634 | ⟨a, b | aa=1, aabb=baa⟩ | φ(a) = a, φ(b) = b |
| 9 | 3648 | ⟨a, b | aa=1, abba=aba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3661 | ⟨a, b | aa=1, baab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 26447 | ⟨a, b | aa=1, aaaaaabb=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26459 | ⟨a, b | aa=1, aaaabaab=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26465 | ⟨a, b | aa=1, aaaabbaa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26503 | ⟨a, b | aa=1, aabaaaab=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26509 | ⟨a, b | aa=1, aabaabaa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26641 | ⟨a, b | aa=1, baaaaaab=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26974 | ⟨a, b | aa=1, aaaaaab=bb⟩ | φ(a) = a, φ(b) = b |
| 11 | 26980 | ⟨a, b | aa=1, aaaaabb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 26986 | ⟨a, b | aa=1, aaaabaa=bb⟩ | φ(a) = a, φ(b) = b |
| 11 | 26993 | ⟨a, b | aa=1, aaaabba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27003 | ⟨a, b | aa=1, aaabaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27015 | ⟨a, b | aa=1, aaabbaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27036 | ⟨a, b | aa=1, aabaaba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27085 | ⟨a, b | aa=1, abaaaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27505 | ⟨a, b | aa=1, aaaaab=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 27516 | ⟨a, b | aa=1, aaaaba=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27519 | ⟨a, b | aa=1, aaaabb=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27522 | ⟨a, b | aa=1, aaaabb=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27529 | ⟨a, b | aa=1, aaabaa=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 27544 | ⟨a, b | aa=1, aaabba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27559 | ⟨a, b | aa=1, aabaab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27562 | ⟨a, b | aa=1, aabaab=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27583 | ⟨a, b | aa=1, aabbaa=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27622 | ⟨a, b | aa=1, abaaba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27697 | ⟨a, b | aa=1, baaaab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28037 | ⟨a, b | aa=1, aaaab=aabb⟩ | φ(a) = a, φ(b) = b |
| 11 | 28043 | ⟨a, b | aa=1, aaaab=baab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28046 | ⟨a, b | aa=1, aaaab=bbaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28056 | ⟨a, b | aa=1, aaaba=abba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28067 | ⟨a, b | aa=1, aaabb=aaab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28070 | ⟨a, b | aa=1, aaabb=abaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28085 | ⟨a, b | aa=1, aabaa=aabb⟩ | φ(a) = a, φ(b) = b |
| 11 | 28089 | ⟨a, b | aa=1, aabaa=baab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28110 | ⟨a, b | aa=1, aabba=aaba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28116 | ⟨a, b | aa=1, aabba=baaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28141 | ⟨a, b | aa=1, abaab=aaab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28144 | ⟨a, b | aa=1, abaab=abaa⟩ | φ(a) = a, φ(b) = b |