| Up: | Monoid enumeration |
|---|---|
| Prev: | #937 ⟨a, b | ab=a, baaa=b⟩ |
| Next: | #948 ⟨a, b | ab=a, bbba=a⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | a2 ⇒ a | [4] |
| 2. | ab ⇒ a | [1] |
| 3. | b2a ⇒ a | [5] |
# ab:ab=a,bbaa=a ab - - aa=a ab=a bba=a
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
44 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 9 | 2044 | ⟨a, b | aab=a, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2986 | ⟨a, b | ab=a, bbaab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2988 | ⟨a, b | ab=a, bbaba=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 3121 | ⟨a, b | ab=a, bbaa=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 5118 | ⟨a, b | aab=aa, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8814 | ⟨a, b | ab=a, bbaabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8818 | ⟨a, b | ab=a, bbabab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8820 | ⟨a, b | ab=a, bbabba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 9085 | ⟨a, b | ab=a, bbaab=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9089 | ⟨a, b | ab=a, bbaba=ab⟩ | φ(a) = a, φ(b) = b |
| 10 | 9355 | ⟨a, b | ab=a, bbaa=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 12234 | ⟨a, b | aaab=aa, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12578 | ⟨a, b | abba=ab, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14715 | ⟨a, b | aabb=a, bbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14779 | ⟨a, b | abab=a, bbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14781 | ⟨a, b | abab=a, bbaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15595 | ⟨a, b | aab=aa, bbaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18928 | ⟨a, b | aab=a, bbaaaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18930 | ⟨a, b | aab=a, bbaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18932 | ⟨a, b | aab=a, bbaaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 18936 | ⟨a, b | aab=a, bbabaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19472 | ⟨a, b | aab=a, bbaaa=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 19473 | ⟨a, b | aab=a, bbaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19477 | ⟨a, b | aab=a, bbaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19481 | ⟨a, b | aab=a, bbaba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 19950 | ⟨a, b | aab=a, aabb=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19966 | ⟨a, b | aab=a, abab=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19974 | ⟨a, b | aab=a, abba=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19982 | ⟨a, b | aab=a, abbb=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20017 | ⟨a, b | aab=a, bbaa=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20018 | ⟨a, b | aab=a, bbaa=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20019 | ⟨a, b | aab=a, bbaa=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 20027 | ⟨a, b | aab=a, bbab=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 20212 | ⟨a, b | aba=a, abab=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 24538 | ⟨a, b | ab=a, bbaabbb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24546 | ⟨a, b | ab=a, bbababb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24550 | ⟨a, b | ab=a, bbabbab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24552 | ⟨a, b | ab=a, bbabbba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 25065 | ⟨a, b | ab=a, bbaabb=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25073 | ⟨a, b | ab=a, bbabab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25077 | ⟨a, b | ab=a, bbabba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 25607 | ⟨a, b | ab=a, bbaab=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25615 | ⟨a, b | ab=a, bbaba=abb⟩ | φ(a) = a, φ(b) = b |
| 11 | 25865 | ⟨a, b | ab=a, bbaa=abbb⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
12 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 12469 | ⟨a, b | aabb=ba, abaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12472 | ⟨a, b | aabb=ba, abba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12476 | ⟨a, b | aabb=ba, baaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12478 | ⟨a, b | aabb=ba, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12481 | ⟨a, b | aabb=ba, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14703 | ⟨a, b | aabb=a, baabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14709 | ⟨a, b | aabb=a, babba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14823 | ⟨a, b | abba=a, baabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15831 | ⟨a, b | aba=aa, baabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19142 | ⟨a, b | aba=a, baaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19645 | ⟨a, b | aba=a, aaabb=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 19671 | ⟨a, b | aba=a, ababb=ba⟩ | φ(a) = a, φ(b) = b |