| Up: | Monoid enumeration |
|---|---|
| Prev: | #302 ⟨a, b | aa=1, bbbbb=1⟩ |
| Next: | #326 ⟨a, b | aa=1, aabb=b⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | a2 ⇒ 1 | [1] |
| 2. | ab ⇒ b | [2] |
# ab:aa=1,aaab=b ab - - aa=1 ab=b
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
24 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 7 | 359 | ⟨a, b | aa=1, aab=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3339 | ⟨a, b | aa=1, aaaaab=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3345 | ⟨a, b | aa=1, aaabaa=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3476 | ⟨a, b | aa=1, aaaab=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3481 | ⟨a, b | aa=1, aaaba=ba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3488 | ⟨a, b | aa=1, aabaa=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3615 | ⟨a, b | aa=1, aaab=aab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3618 | ⟨a, b | aa=1, aaab=baa⟩ | φ(a) = a, φ(b) = b |
| 9 | 3624 | ⟨a, b | aa=1, aaba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 26443 | ⟨a, b | aa=1, aaaaaaab=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26449 | ⟨a, b | aa=1, aaaaabaa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26972 | ⟨a, b | aa=1, aaaaaab=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 26977 | ⟨a, b | aa=1, aaaaaba=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 26984 | ⟨a, b | aa=1, aaaabaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27503 | ⟨a, b | aa=1, aaaaab=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27506 | ⟨a, b | aa=1, aaaaab=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27512 | ⟨a, b | aa=1, aaaaba=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27527 | ⟨a, b | aa=1, aaabaa=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27530 | ⟨a, b | aa=1, aaabaa=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28035 | ⟨a, b | aa=1, aaaab=aaab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28038 | ⟨a, b | aa=1, aaaab=abaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28052 | ⟨a, b | aa=1, aaaba=aaba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28058 | ⟨a, b | aa=1, aaaba=baaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28083 | ⟨a, b | aa=1, aabaa=aaab⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
24 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 7 | 324 | ⟨a, b | aa=1, aaba=b⟩ | φ(a) = a, φ(b) = b |
| 7 | 360 | ⟨a, b | aa=1, aab=ba⟩ | φ(a) = a, φ(b) = b |
| 7 | 363 | ⟨a, b | aa=1, aba=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3341 | ⟨a, b | aa=1, aaaaba=b⟩ | φ(a) = a, φ(b) = b |
| 9 | 3477 | ⟨a, b | aa=1, aaaab=ba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3480 | ⟨a, b | aa=1, aaaba=ab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3616 | ⟨a, b | aa=1, aaab=aba⟩ | φ(a) = a, φ(b) = b |
| 9 | 3623 | ⟨a, b | aa=1, aaba=aab⟩ | φ(a) = a, φ(b) = b |
| 9 | 3626 | ⟨a, b | aa=1, aaba=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 26445 | ⟨a, b | aa=1, aaaaaaba=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26457 | ⟨a, b | aa=1, aaaabaaa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 26973 | ⟨a, b | aa=1, aaaaaab=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 26976 | ⟨a, b | aa=1, aaaaaba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 26985 | ⟨a, b | aa=1, aaaabaa=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27000 | ⟨a, b | aa=1, aaabaaa=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27504 | ⟨a, b | aa=1, aaaaab=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 27511 | ⟨a, b | aa=1, aaaaba=aab⟩ | φ(a) = a, φ(b) = b |
| 11 | 27514 | ⟨a, b | aa=1, aaaaba=baa⟩ | φ(a) = a, φ(b) = b |
| 11 | 27528 | ⟨a, b | aa=1, aaabaa=aba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28036 | ⟨a, b | aa=1, aaaab=aaba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28042 | ⟨a, b | aa=1, aaaab=baaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28051 | ⟨a, b | aa=1, aaaba=aaab⟩ | φ(a) = a, φ(b) = b |
| 11 | 28054 | ⟨a, b | aa=1, aaaba=abaa⟩ | φ(a) = a, φ(b) = b |
| 11 | 28084 | ⟨a, b | aa=1, aabaa=aaba⟩ | φ(a) = a, φ(b) = b |