#4237 ⟨a, b | abaaaabba=ab⟩

Up:Monoids with two generators and one relation
Prev:#4236 ⟨a, b | abaaaabba=aa⟩
Next:#4238 ⟨a, b | abaaaabba=ba⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. c2a ⇒ cac [10]
2. (ca)2 ⇒ ca2c [9]
3. ca2ca ⇒ ca3c [7]
4. ca3ca ⇒ c [5]
5. abca ⇒ abac [11]
6. abaca ⇒ aba2c [8]
7. aba2ca ⇒ aba3c [6]
8. aba3ca ⇒ ab [3]
9. cb ⇒ aba3c2 [4]
10. ab2 ⇒ c [2]
# ab:abaaaabba=ab ac/b abb=c morph:3/0
cca=cac
caca=caac
caaca=caaac
caaaca=c
abca=abac
abaca=abaac
abaaca=abaaac
abaaaca=ab
cb=abaaacc
abb=c