| Up: | Monoid enumeration |
|---|---|
| Prev: | #54 ⟨a, b | ab=a, bbb=1⟩ |
| Next: | #56 ⟨a, b | aa=a, ab=b⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | a2 ⇒ a | [1] |
| 2. | ab ⇒ a | [2] |
# ab:aa=a,ab=a ab - - aa=a ab=a
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
203 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 7 | 237 | ⟨a, b | aa=a, aab=a⟩ | φ(a) = a, φ(b) = b |
| 7 | 261 | ⟨a, b | ab=a, aab=a⟩ | φ(a) = a, φ(b) = b |
| 7 | 263 | ⟨a, b | ab=a, aba=a⟩ | φ(a) = a, φ(b) = b |
| 7 | 275 | ⟨a, b | aa=a, ab=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 882 | ⟨a, b | aa=a, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 926 | ⟨a, b | ab=a, aabb=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 930 | ⟨a, b | ab=a, abab=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 932 | ⟨a, b | ab=a, abba=a⟩ | φ(a) = a, φ(b) = b |
| 8 | 953 | ⟨a, b | aa=a, aaa=ab⟩ | φ(a) = a, φ(b) = b |
| 8 | 955 | ⟨a, b | aa=a, aab=aa⟩ | φ(a) = a, φ(b) = b |
| 8 | 997 | ⟨a, b | ab=a, aab=ab⟩ | φ(a) = a, φ(b) = b |
| 8 | 1001 | ⟨a, b | ab=a, aba=ab⟩ | φ(a) = a, φ(b) = b |
| 8 | 1004 | ⟨a, b | ab=a, abb=aa⟩ | φ(a) = a, φ(b) = b |
| 9 | 1576 | ⟨a, b | aaa=aa, aab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2022 | ⟨a, b | aab=a, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2024 | ⟨a, b | aab=a, aaba=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2026 | ⟨a, b | aab=a, aabb=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2028 | ⟨a, b | aab=a, abaa=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2030 | ⟨a, b | aab=a, abab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2032 | ⟨a, b | aab=a, abba=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2086 | ⟨a, b | aba=a, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2092 | ⟨a, b | aba=a, abab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2858 | ⟨a, b | aa=a, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2950 | ⟨a, b | ab=a, aabbb=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2958 | ⟨a, b | ab=a, ababb=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2962 | ⟨a, b | ab=a, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2964 | ⟨a, b | ab=a, abbba=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 3001 | ⟨a, b | aa=a, aaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3003 | ⟨a, b | aa=a, aaab=aa⟩ | φ(a) = a, φ(b) = b |
| 9 | 3085 | ⟨a, b | ab=a, aabb=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3093 | ⟨a, b | ab=a, abab=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3097 | ⟨a, b | ab=a, abba=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3100 | ⟨a, b | ab=a, abbb=aa⟩ | φ(a) = a, φ(b) = b |
| 9 | 3136 | ⟨a, b | aa=a, aab=aaa⟩ | φ(a) = a, φ(b) = b |
| 9 | 3176 | ⟨a, b | ab=a, abb=aab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3177 | ⟨a, b | ab=a, abb=aba⟩ | φ(a) = a, φ(b) = b |
| 10 | 5024 | ⟨a, b | aaa=aa, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5100 | ⟨a, b | aab=aa, aabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5104 | ⟨a, b | aab=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5128 | ⟨a, b | aab=ab, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5230 | ⟨a, b | aba=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5244 | ⟨a, b | aba=ab, aaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5246 | ⟨a, b | aba=ab, aaba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5250 | ⟨a, b | aba=ab, abaa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8570 | ⟨a, b | aa=a, aaaaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8742 | ⟨a, b | ab=a, aabbbb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8758 | ⟨a, b | ab=a, ababbb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8766 | ⟨a, b | ab=a, abbabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8770 | ⟨a, b | ab=a, abbbab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8772 | ⟨a, b | ab=a, abbbba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8841 | ⟨a, b | aa=a, aaaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 8843 | ⟨a, b | aa=a, aaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9013 | ⟨a, b | ab=a, aabbb=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9029 | ⟨a, b | ab=a, ababb=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9037 | ⟨a, b | ab=a, abbab=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9041 | ⟨a, b | ab=a, abbba=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9044 | ⟨a, b | ab=a, abbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9113 | ⟨a, b | aa=a, aaaa=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9118 | ⟨a, b | aa=a, aaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9283 | ⟨a, b | ab=a, aabb=abb⟩ | φ(a) = a, φ(b) = b |
| 10 | 9299 | ⟨a, b | ab=a, abab=abb⟩ | φ(a) = a, φ(b) = b |
| 10 | 9307 | ⟨a, b | ab=a, abba=abb⟩ | φ(a) = a, φ(b) = b |
| 10 | 9313 | ⟨a, b | ab=a, abbb=aab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9314 | ⟨a, b | ab=a, abbb=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 12214 | ⟨a, b | aaab=aa, aaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12216 | ⟨a, b | aaab=aa, aabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12218 | ⟨a, b | aaab=aa, abaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12220 | ⟨a, b | aaab=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12330 | ⟨a, b | aaba=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12456 | ⟨a, b | aabb=ab, abab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14411 | ⟨a, b | aaab=a, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14413 | ⟨a, b | aaab=a, aaaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14417 | ⟨a, b | aaab=a, aabaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14425 | ⟨a, b | aaab=a, abaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14539 | ⟨a, b | aaba=a, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14679 | ⟨a, b | aabb=a, aabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14691 | ⟨a, b | aabb=a, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14743 | ⟨a, b | abab=a, aabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14751 | ⟨a, b | abab=a, ababb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14755 | ⟨a, b | abab=a, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14757 | ⟨a, b | abab=a, abbba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14815 | ⟨a, b | abba=a, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15403 | ⟨a, b | aaa=aa, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15559 | ⟨a, b | aab=aa, aabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15571 | ⟨a, b | aab=aa, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15611 | ⟨a, b | aab=ab, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15823 | ⟨a, b | aba=aa, abbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15843 | ⟨a, b | aba=ab, aaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15845 | ⟨a, b | aba=ab, aaaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15849 | ⟨a, b | aba=ab, aabaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15857 | ⟨a, b | aba=ab, abaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18838 | ⟨a, b | aab=a, aaaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18842 | ⟨a, b | aab=a, aaabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18844 | ⟨a, b | aab=a, aaabba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18846 | ⟨a, b | aab=a, aaabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18850 | ⟨a, b | aab=a, aabaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18852 | ⟨a, b | aab=a, aababa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18854 | ⟨a, b | aab=a, aababb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18856 | ⟨a, b | aab=a, aabbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18858 | ⟨a, b | aab=a, aabbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18860 | ⟨a, b | aab=a, aabbba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18866 | ⟨a, b | aab=a, abaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18868 | ⟨a, b | aab=a, abaaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18870 | ⟨a, b | aab=a, abaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18872 | ⟨a, b | aab=a, ababaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18874 | ⟨a, b | aab=a, ababab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18876 | ⟨a, b | aab=a, ababba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18880 | ⟨a, b | aab=a, abbaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18882 | ⟨a, b | aab=a, abbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18884 | ⟨a, b | aab=a, abbaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18888 | ⟨a, b | aab=a, abbbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19098 | ⟨a, b | aba=a, aaabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19104 | ⟨a, b | aba=a, aabaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19112 | ⟨a, b | aba=a, aabbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19118 | ⟨a, b | aba=a, abaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19124 | ⟨a, b | aba=a, ababab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19130 | ⟨a, b | aba=a, abbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19380 | ⟨a, b | aab=a, aaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19384 | ⟨a, b | aab=a, aaaba=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19388 | ⟨a, b | aab=a, aaabb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19389 | ⟨a, b | aab=a, aaabb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19392 | ⟨a, b | aab=a, aabaa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19396 | ⟨a, b | aab=a, aabab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19397 | ⟨a, b | aab=a, aabab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19400 | ⟨a, b | aab=a, aabba=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19401 | ⟨a, b | aab=a, aabba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19405 | ⟨a, b | aab=a, aabbb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19408 | ⟨a, b | aab=a, abaaa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19412 | ⟨a, b | aab=a, abaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19413 | ⟨a, b | aab=a, abaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19416 | ⟨a, b | aab=a, ababa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19417 | ⟨a, b | aab=a, ababa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19421 | ⟨a, b | aab=a, ababb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19424 | ⟨a, b | aab=a, abbaa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19425 | ⟨a, b | aab=a, abbaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19429 | ⟨a, b | aab=a, abbab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19433 | ⟨a, b | aab=a, abbba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19446 | ⟨a, b | aab=a, baaab=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19450 | ⟨a, b | aab=a, baaba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19454 | ⟨a, b | aab=a, baabb=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19458 | ⟨a, b | aab=a, babaa=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19462 | ⟨a, b | aab=a, babab=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19466 | ⟨a, b | aab=a, babba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19655 | ⟨a, b | aba=a, aabba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19667 | ⟨a, b | aba=a, ababa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19678 | ⟨a, b | aba=a, abbba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19920 | ⟨a, b | aab=a, aaaa=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19928 | ⟨a, b | aab=a, aaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19929 | ⟨a, b | aab=a, aaab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19930 | ⟨a, b | aab=a, aaab=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19936 | ⟨a, b | aab=a, aaba=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19937 | ⟨a, b | aab=a, aaba=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19938 | ⟨a, b | aab=a, aaba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19945 | ⟨a, b | aab=a, aabb=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19946 | ⟨a, b | aab=a, aabb=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19947 | ⟨a, b | aab=a, aabb=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 19952 | ⟨a, b | aab=a, abaa=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19953 | ⟨a, b | aab=a, abaa=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19954 | ⟨a, b | aab=a, abaa=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19961 | ⟨a, b | aab=a, abab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19962 | ⟨a, b | aab=a, abab=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19963 | ⟨a, b | aab=a, abab=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 19969 | ⟨a, b | aab=a, abba=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19970 | ⟨a, b | aab=a, abba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19971 | ⟨a, b | aab=a, abba=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 19979 | ⟨a, b | aab=a, abbb=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 19988 | ⟨a, b | aab=a, baaa=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19996 | ⟨a, b | aab=a, baab=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19997 | ⟨a, b | aab=a, baab=bab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20004 | ⟨a, b | aab=a, baba=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 20005 | ⟨a, b | aab=a, baba=bab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20013 | ⟨a, b | aab=a, babb=bab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20022 | ⟨a, b | aab=a, bbaa=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20030 | ⟨a, b | aab=a, bbab=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20184 | ⟨a, b | aba=a, aaab=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20208 | ⟨a, b | aba=a, abab=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 24046 | ⟨a, b | aa=a, aaaaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24394 | ⟨a, b | ab=a, aabbbbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24426 | ⟨a, b | ab=a, ababbbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24442 | ⟨a, b | ab=a, abbabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24450 | ⟨a, b | ab=a, abbbabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24454 | ⟨a, b | ab=a, abbbbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24456 | ⟨a, b | ab=a, abbbbba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24589 | ⟨a, b | aa=a, aaaaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24591 | ⟨a, b | aa=a, aaaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 24921 | ⟨a, b | ab=a, aabbbb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24953 | ⟨a, b | ab=a, ababbb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24969 | ⟨a, b | ab=a, abbabb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24977 | ⟨a, b | ab=a, abbbab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24981 | ⟨a, b | ab=a, abbbba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 24984 | ⟨a, b | ab=a, abbbbb=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25117 | ⟨a, b | aa=a, aaaaa=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25122 | ⟨a, b | aa=a, aaaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25463 | ⟨a, b | ab=a, aabbb=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25495 | ⟨a, b | ab=a, ababb=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25511 | ⟨a, b | ab=a, abbab=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25519 | ⟨a, b | ab=a, abbba=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25525 | ⟨a, b | ab=a, abbbb=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25526 | ⟨a, b | ab=a, abbbb=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 25660 | ⟨a, b | aa=a, aaab=aaaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25816 | ⟨a, b | ab=a, abbb=aabb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25818 | ⟨a, b | ab=a, abbb=abab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25819 | ⟨a, b | ab=a, abbb=abba⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
18 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 9 | 1626 | ⟨a, b | aab=ab, baa=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 1660 | ⟨a, b | aba=aa, baa=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 1676 | ⟨a, b | aba=ba, baa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5142 | ⟨a, b | aab=ab, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12336 | ⟨a, b | aaba=aa, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12340 | ⟨a, b | aaba=aa, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12490 | ⟨a, b | abaa=aa, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12522 | ⟨a, b | abab=ab, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12524 | ⟨a, b | abab=ab, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12586 | ⟨a, b | abba=ba, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12588 | ⟨a, b | abba=ba, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12590 | ⟨a, b | abba=ba, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14569 | ⟨a, b | aaba=a, baaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15641 | ⟨a, b | aab=ab, baaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19656 | ⟨a, b | aba=a, aabba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19685 | ⟨a, b | aba=a, baaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19692 | ⟨a, b | aba=a, babab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20211 | ⟨a, b | aba=a, abab=bab⟩ | φ(a) = a, φ(b) = b |