The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
46 total
| Σ | # | Presentation | Mapping |
|---|
| 8 | 542 | ⟨a, b | aab=b, bbbb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1038 | ⟨a, b | aa=1, aabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1048 | ⟨a, b | aa=1, abbbba=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1053 | ⟨a, b | aa=1, baabbb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1057 | ⟨a, b | aa=1, bbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 8 | 1122 | ⟨a, b | aa=1, abbbb=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 1201 | ⟨a, b | aa=1, bbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 3917 | ⟨a, b | aabb=bb, bbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 3988 | ⟨a, b | baab=bb, bbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5425 | ⟨a, b | aaaa=1, aaaabb=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5428 | ⟨a, b | aaaa=1, aaabba=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5433 | ⟨a, b | aaaa=1, aabbaa=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5448 | ⟨a, b | aaaa=1, baaaab=1⟩ | φ(a) = b, φ(b) = a |
| 10 | 5980 | ⟨a, b | aaa=a, aabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5990 | ⟨a, b | aaa=a, abbbba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5995 | ⟨a, b | aaa=a, baabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 5999 | ⟨a, b | aaa=a, bbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6117 | ⟨a, b | aab=b, aabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6132 | ⟨a, b | aab=b, abbbba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6141 | ⟨a, b | aab=b, baabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6153 | ⟨a, b | aab=b, bbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6159 | ⟨a, b | aab=b, bbbaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 6162 | ⟨a, b | aab=b, bbbbaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9399 | ⟨a, b | aa=1, aaaabbbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9413 | ⟨a, b | aa=1, aaabbbba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9421 | ⟨a, b | aa=1, aabaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9431 | ⟨a, b | aa=1, aabbaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9435 | ⟨a, b | aa=1, aabbbaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9438 | ⟨a, b | aa=1, aabbbbaa=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9452 | ⟨a, b | aa=1, abaabbba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9468 | ⟨a, b | aa=1, abbaabba=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9487 | ⟨a, b | aa=1, baaaabbb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9492 | ⟨a, b | aa=1, baabaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9495 | ⟨a, b | aa=1, baabbaab=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9510 | ⟨a, b | aa=1, bbaaaabb=1⟩ | φ(a) = a, φ(b) = b |
| 10 | 9686 | ⟨a, b | aa=1, aaabbbb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9712 | ⟨a, b | aa=1, aabbbba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9726 | ⟨a, b | aa=1, abaabbb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9742 | ⟨a, b | aa=1, abbaabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9750 | ⟨a, b | aa=1, abbbaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9982 | ⟨a, b | aa=1, aabbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10021 | ⟨a, b | aa=1, abbbba=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10039 | ⟨a, b | aa=1, baabbb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10054 | ⟨a, b | aa=1, bbaabb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10296 | ⟨a, b | aa=1, abbbb=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 10529 | ⟨a, b | aa=1, bbbb=aaaa⟩ | φ(a) = a, φ(b) = b |