| Up: | Monoid enumeration |
|---|---|
| Prev: | #879 ⟨a, b | ab=a, bbbbb=1⟩ |
| Next: | #890 ⟨a, b | aa=a, abba=a⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | a2 ⇒ a | [1] |
| 2. | aba ⇒ ab | [3] |
| 3. | ab2 ⇒ a | [4] |
# ab:aa=a,abab=a ab - - aa=a aba=ab abb=a
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
45 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 9 | 1666 | ⟨a, b | aba=ab, abb=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2866 | ⟨a, b | aa=a, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 2872 | ⟨a, b | aa=a, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 9 | 3015 | ⟨a, b | aa=a, abab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 5030 | ⟨a, b | aaa=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5136 | ⟨a, b | aab=ab, abab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5248 | ⟨a, b | aba=ab, aabb=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5252 | ⟨a, b | aba=ab, abab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 5254 | ⟨a, b | aba=ab, abba=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8578 | ⟨a, b | aa=a, aaabab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8584 | ⟨a, b | aa=a, aabaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8598 | ⟨a, b | aa=a, abaaab=a⟩ | φ(a) = a, φ(b) = b |
| 10 | 8858 | ⟨a, b | aa=a, aabab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 8870 | ⟨a, b | aa=a, abaab=aa⟩ | φ(a) = a, φ(b) = b |
| 10 | 9142 | ⟨a, b | aa=a, abab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 12432 | ⟨a, b | aabb=aa, abab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14683 | ⟨a, b | aabb=a, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14735 | ⟨a, b | abab=a, aaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14739 | ⟨a, b | abab=a, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14741 | ⟨a, b | abab=a, aabba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14747 | ⟨a, b | abab=a, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14749 | ⟨a, b | abab=a, ababa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14753 | ⟨a, b | abab=a, abbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14803 | ⟨a, b | abba=a, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 14809 | ⟨a, b | abba=a, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15411 | ⟨a, b | aaa=aa, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15417 | ⟨a, b | aaa=aa, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15619 | ⟨a, b | aab=ab, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15627 | ⟨a, b | aab=ab, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15847 | ⟨a, b | aba=ab, aaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15851 | ⟨a, b | aba=ab, aabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15853 | ⟨a, b | aba=ab, aabba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15859 | ⟨a, b | aba=ab, abaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15861 | ⟨a, b | aba=ab, ababa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15865 | ⟨a, b | aba=ab, abbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24054 | ⟨a, b | aa=a, aaaabab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24062 | ⟨a, b | aa=a, aaabaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24076 | ⟨a, b | aa=a, aabaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24104 | ⟨a, b | aa=a, abaaaab=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 24607 | ⟨a, b | aa=a, aaabab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 24619 | ⟨a, b | aa=a, aabaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 24646 | ⟨a, b | aa=a, abaaab=aa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25152 | ⟨a, b | aa=a, aabab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25176 | ⟨a, b | aa=a, abaab=aaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 25669 | ⟨a, b | aa=a, abab=aaaa⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
5 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 10 | 5146 | ⟨a, b | aab=ab, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12560 | ⟨a, b | abba=aa, baba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 12628 | ⟨a, b | baba=aa, bbaa=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15645 | ⟨a, b | aab=ab, baaba=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 15649 | ⟨a, b | aab=ab, babaa=a⟩ | φ(a) = a, φ(b) = b |