#4204 ⟨a, b | aabbbabba=ba⟩

Up:Monoids with two generators and one relation
Prev:#4203 ⟨a, b | aabbbabba=ab⟩
Next:#4205 ⟨a, b | aabbbabba=bb⟩

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. caca2c2 ⇒ a(ac2)2 [11]
2. a2ca(ac2)2 ⇒ c [10]
3. ba ⇒ (a2c)2c [8]
4. bc ⇒ a(ac2)2 [12]
# ab:aabbbabba=ba ac/b bbba=c morph:4/1
cacaacc=aaccacc
aacaaccacc=c
ba=aacaacc
bc=aaccacc